Texas' July 1 SEC Celebration cost a pretty penny