According to reports I've read, he picked up his gun in the locked case at baggage claim, took it into the bathroom, loaded it and came out firing. How would TSA be involved at all outside of the security area?