It had to be quite serious for an air marshall to fire his gun. That's probably the last thing they want to do.