If you want to send such a message to
Mike, you should do it through the "submit a name" function on the main board. I do not believe that he reads these boards regularly.
Also, it seems to me from the above that you are explaining the pronunciation of the name in the original Hebrew. I would assume that unless otherwise stated that the pronunciations
Mike gives in the dictionary are those he believes are traditional in English. There are a great many names from the Bible where the traditional English pronunciation is quite different from that in Hebrew.