When Jones Stadium is full it’s the 55th largest city in Texas. Bigger than New Braunfels, Galveston, and Georgetown.