An average Russian might go with Mihail for Михаил, yes. The thing is an average Russian doesn't really need to do this kind of transliteration on their own. Maybe when buying things off of an...