That's almost certainly not TSA, more likely it was CBP. The CBP officers have dark blue uniforms and guns. TSA costumes are light blue and even Barney Fife was permitted more than they are permitted to carry.