Good, and they should start with Mack Brown's $5.1M annual salary.
Do you know how college coaching agreements work? Not a dime of tax payers money in most cases. Heck most money in a College Football coaches contract isn't even from the AD itself. Typically a contract has built in endorsement deals, personal appearances, and money provided from Football boosters.
In Mack Browns case is doesn't matter, how much money did UT football make last year? I'd have to guess more than academic research did.