1
I believe your first option is the best but with a little modification. Moses originally had an Egyptian name that sounded almost exactly like a Hebrew name.
The pun involved in the name is elaborate and crosses languages. Names like Tutmose, Ramose, Amenmose are well attested from Egypt. The...