Did Ohio State Lose A Bet To Put Michigan Colors On The Horseshoe?