If they’d stop stealing out of the gas tax fund, there’d be plenty of money.
The same thing cannot be said for the theft from the SS Trust Fund, but you are right about the Highway Trust Fund.