You don't contact someone's employer for ANY reason unless you verbally hear them say they're gonna shoot the place up or something. You think they would take some stranger's word? Only the police should be notified and they do the investigating. That's who handles the issue "in a professional manner".this! pretty much.