[pouetpouet]

The federal gas tax was and still is 18.4 cents/gallon. It would need to be raised to 77.7 cents/gallon. https://www.strongtowns.org/journal/2014/7/24/some-perspecti... Worse, that was in 2014.