Interesting. I *know* I've heard football players use the term "mike" for pass rushing LB, in a game for instance before the snap the quarterback might call out "55 is the mike!"

I learn something new every day.