Punches thrown, stun gun used: Police, fans get in fight at Florida college football game