Any grown male harassing a band member at the football game deserves to get clocked. BTW, legend has it that the Fightin' Gator Band earned the nickname. I don't know the story or when it allegedly happened . . . would have been pre-80s and maybe much earlier.