Texas National Guard Armory.