Looks like in Texas the gas tax is $0.20/gallon. A sedan might get 33 miles per gallon, drive 10,000 miles a year, consuming 300 gallons of gas: $60 paid in tax

Looks like in Texas the gas tax is $0.20/gallon. A sedan might get 33 miles per gallon, drive 10,000 miles a year, consuming 300 gallons of gas: $60 paid in taxes each year. Is that right? The US average looks like 25 mpg and 14,000 miles driven, 560 gallons: $112 or with federal taxes $215.