All his mother, thought it would be cute to take a traditional name and put hers in it. And it's not pronounced Michael. It's sounds like it's spelled. My Cole. Ah, I thought it was Michael, which would have been worse. Putting a parents name (or combining both parents' names) has become fairly common