I couldn’t make it to the game, but was told the student section was chanting 17 Dan Mullen. Anyone got a video?