“Somewhat less routine was the news that none of the direct costs of the lawsuit would actually be borne by the university. The settlement amount and about $421,000 in legal fees were covered by Florida’s Emergency Management Fund. The remainder of the attorney fees—$1.3 million—were paid for by Seminole Boosters, an…