Issue each citizen a card good for there share of domestic gas. (unleaded, diesel, premium) Current gas card holders would use there current cards.
Domestic gas is local price only, taxed 25% of present tax and priced at low USA price. It cant be sold overseas so the price will remain low. Other restrictions might be needed, that’s for the experts to figure out.
Imported gas is dyed and taxed $4.00 a gallon added to WORLD price.
This way those of us that conserve and help America do not pay for the moron with a hummer that enjoys bowing to Arabs.
You are free to trade your domestic gas points to other card holders. (hence a great $ boost to those with scooters and electric cars)
The infrastructure is there. The old regular – unleaded split. So there is no big investment needed.