On the question of Are pilots armed?, one thing this made me think is: for the few that are armed, are they allowed to bring their weapon into, for example, the UK?
What is the procedure? Does the gun stay in the cockpit or does it need to be checked by security once on the ground?
Presuming a pilot had to fire a gun over EU airspace, is he breaking the law?