Yes, bear spray would have been very useful, especially if Chris Mintz had a can.

People should understand that their physical protection is their personal and family responsibility. The police can only do anything after the fact, and as cheap as schools and companies are today, security cannot be counted on to take care of things.