In a federal gun free zone.
Yes, that is true, and technically it’s not really Texas, but US property.