Who was the guy playing Mike? What is his name?