Carmen Ohio postgame. Michigan announces attendance as 25,000.