I am surprised his employer allowed him to have a gun in their vehicle (assuming he was allowed to). Hopefully the guy isn't terminated. It would really suck to have to deal with the burden of killing someone and losing your job because of it.
My employer doesn't allow a gun in their buildings, which technically includes the parking garage I park in. We have RFID turnstyles (x1) and RFID controlled doors (x1) at every entrance...and you know nobody could ever defeat them.

We also have unarmed guards walking around. They are nice enough people, but I wouldn't want to have to put my life in their hands against something serious.
If I ever had to use a weapon that I had with me at work, I would be terminated. I drive from my garage to the garage at work, and I don't expect to run into any trouble. Given the rules--and *fingers crossed* lack of real threats--I obviously leave my EDC gun at home. It would be nice to have it with me, as a just in case sort of thing, but it is what it is.
Funny story as to why the security was beefed up... When I started working in our main headquarters, you didn't need anything to get into the building. Show up, take the elevator to your floor, and do your job. There was a standing rule that security guards could ask for your ID badge at any time. Everyone once in a while one would stop you and ask for it. If you didn't have it, you just gave them your employee ID number. Well, that all changed when an angry customer decided to pay our C level floor a visit. One angry customer yelling directly at our C levels drove us to nearly immediately having better security. F the little guys...WE MUST PROTECT THE C!!!
