The court ruling, IIRC, was capped at $5,000 per year. In an article I read, Texas says that the full cost of attendance varies from $4,000 to $6,000 (depending on the sport). They averaged it out to $5,000. They have approximately 600 scholarship (full and part) athletes.
600 x $10,000 = $6M.