I think that stuff falls under the $2.5K per student other category within the $9K. Other is 28% of Texas spending per child.
http://www.governing.com/gov-data/education-data/state-education-spending-per-pupil-data.html
Extra facilities are usually paid for through separate bond offerings within each district.