With Western Kentucky’s 63-10 loss to Ohio State a month in the rearview mirror, it’s hard not to think of a potential mascot helmet-off between Big Red and Brutus Buckeye as a missed opportunity.