Socialism for me, but not for thee.
https://www.thecentersquare.com/texas/texas-drivers-pay-20-c...
A Texan driver would have to buy 2000 gallons of gas a year to pay $400 in gas taxes to Texas. That seems pretty high when the average Texan drives 16347 miles per year [1]; it implies fuel economy of only 8.2 MPG at average travel distance. Even the big Ford F-450 has better average fuel economy than that.
[1] https://www.caranddriver.com/research/a32880477/average-mile...
Just make this $150/yr, charge $1/gal tax for ICE cars, that should make it about even.
For comparison I pay $1500 yearly road tax and $4/gal in taxes alone at the pump and I find it too cheap to pollute still.