Comment by yamazakiwi

Nicknames include variations like Mikey, Mickey, Mikail, Big Michael, Little Michael, Gas Station Michael, Angry Michael, Tony (obligatory wrong name your group uses because there were already too many Michaels and this Michael liked his middle name)

and Mike.