UT must've changed their cafeteria hours, because when I was in school there were plenty of nights I went to the Hess Hall cafeteria and got milkshakes from the Ben and Jerry stand at like 10pm. After consuming plenty of late night milkshakes, I not only went to bed not-hungry but put on more lbs. then I would've preferred.
Also, the snack stores on campus stayed open later than 7 and they took what was referred to as "bonus bucks". You buy a meal plan with so many meals per week allotted and so many bonus bucks that could be used for just about anything on campus. I had 15 meals per week and $300 worth of bonus bucks. Hell, I used to buy dip with my bonus bucks when campus still sold tobacco.
One would think the athletes at UT would be given a meal plan that included bonus bucks in addition to their meals. I don't see that being any form of violation because it's something that's afforded to all students as part of a meal plan. On average the meal plans all cost about the same the only thing that fluctuated was meals and bonus bucks. Want more bonus bucks? Then the allotted meals per week are reduced. Want more cafeteria meals? Then you get less bonus bucks.