Thomas E. van Dell

as

Mike

as

Student (uncredited)

as

Mike (archive footage)

as

Jerry