Bush caused 9/11 to make money for Halliburton. Sorry, black helicopters surrounding the house, gotta dive into my Y2K shelter.
Carry of a handgun by a CHL in a (state/county/city) govt building is matter of state law and is generally legal. I'm not saying it wasn't prevented, but it's not due to Texas law.
Wasn't it a few months ago that someone was open carrying a rifle (in a state where legal...like TX) when Pres. Obama was nearby? All he (carrier) got was dirty looks from USSS, if I remember.