Well, since this old thread has now been resurrected, I will say this:
Just because the doctor was working in the hospital, that doesn't mean he was an employee of the hospital. While the landscape is changing, historically, doctors are either self employed or work for/with a group of doctors and simply have privileges to work in/admit patients to hospitals. You obviously cannot fire someone who is not your employee. Therefore, he may, by law, only have been able to be treated as a visitor that violated the weapons policy of the building he was in...at most (in most states) a misdemeanor charge.
