Lukewarm take: TSA and Air Traffic Controllers need to be simply funded by an excise tax on airlines, and not subject to annual appropriations bills.