I think we should change the name of this article to just Mike, since Big Mike is not his name, but his nickname.
If I don't receive any objections within a week I am going to change it.
Mknopp (talk) 19:21, January 11, 2013 (UTC)