There are also partial fixes to the regressive nature of auto fuel taxes. Credits for low income residents are a simple "fix" (not arguing it's the best approach, just one way to make the tax less regressive).

Or, we can increase (re-implement?) the "gas guzzler" tax. Anything that gets <20mpg (or whatever value) pays an extra annual tax. Removes actual consumption from the scheme, but still provides an incentive to buy fuel-efficient vehicles.