The gas tax has never paid for full road maintenance. It's always been subsidized from other funds.