[sokoloff]

Air Marshals also work for the TSA, not the FAA. Much of the funding for this security is paid by direct taxes on tickets.