Further proof of the insanity of disarming everyone aboard a military base. All Marines are riflemen. If the victims had had a weapon available, this might have ended with just the shooter dead.
I don’t think your normal day worker type of military person wants to carry their weapon around with them all day, especially the ones that just sit at their desk. They have to be concerned with having a loaded weapon in their vehicle when they leave work to go home and pick up their kids at school or go to the grocery store. It would be a major pain in the butt.