I read that he was not on campus at the time. And the football coach who died actually was an unarmed guard who by federal law could not carry a gun at the school. Imagine if he was armed.
Regardless of the "rules", I think I'd be carrying. Better to face the possible consequences of breaking a rule, than face sure termination by a shooter.