>>1939162Anon was wrong to use public schools as an example, because fuel tax revenue is allotted to public schools in Texas, and allotted to other non-road uses in other states.
That said, that amount (~670 million USD) is about 5% of Texas Highway Fund revenue, or ~2% of TxDOT expenditure.