But still we are talking about a very long time, where these texts in egypt must have been translated at least a few times, maybe lost and retold orally for periods of time, before platon finally wrote it down. Small changes especially in these kind of words could have happened.
It is normal practice to for agressive imperial powers to rename the places and mountains they invade after places from their homeland. As greece and sorrounding area was occupied by atlantis for a long time it wouldent surprise me if there was a mount sinai in atlantis too
And what actual texts would those be as all we have is an unevidenced claim, nothing more. It doesn't even make for good hear-say.