I'm wondering if "TSO" was used instead of "TSA" employee. I know of a couple of groups within TSA that do carry. Federal Air Marshals, some Transportation Security Inspectors, and there may be others.