Incidentally, we have a booklet hanging in our office that has guidelines for what to do when you have an active shooter on campus. Which I reviewed over lunch. Sigh.
(FWIW, it had useful instructions like "move away from the shooter or sound of gunshots" O RLY?)