Yes I do. And I already agreed with the fact that Petros/petra were distinct usages in some forms of Greek. We are well beyond that point in the conversation now.
But that point is moot because John 1:42 states clearly that Jesus called Simon Cephas which was then translated into Petros.
b'shem Y'shua2 Samuel 22:47 "The LORD lives, and blessed be my rock;
And exalted be God, the rock of my salvation,