 In 1940, the football stadium was also erected at the cost of $9,000.Native sandstone from the hills of Tehuacana, Texas, was used for both projects.Government assistance through the Public Works Administration made both these projects possible.