I have no doubt
Ptolemy would be misspelled and mispronounced all the time. Like you I wouldn't worry about it too much.
I can't get into
Saul because I associate with
King Saul, who was a real arse in the Bible. Normally I don't worry too much about biblical namesakes but this one bothers me.