"Official" Source for Texas HS Football Records?

[Bullaholic]

What is the "official" source used for team and individual records in Texas HS football? What is the source of the stats used for the records? Is it the coaches? Been following Texas HS football for many years and I honestly don't know.

[Txbroadcaster]

I think it is the UIL itself

[Bullaholic]

I think it is the UIL itself

But, do they get their stats from the coaches?