Is there any doubt Michigan would have beat Texas had Harbaugh stayed?