At least most UT employees got a paid day off because of a football game. I got to run a lot of errands today.