Если такая фамилия была изначально, то имя просится само-собой.. Вот и назвали.. Назвали бы Миша Кролевич, все-равно бы  дразнили Елисеем. А тут повод к дразнилкам исчез.  А смеются, так не над именем-фамилией, а над личностными качествами. У нас в классе был Вова Ульянов. Тоже смеялись и дразнили.. Детство - оно такое детство..