I mean, that already is used to significantly lower at-the-pump gas prices from what they actually are, and raising gas prices is an easy way to lose an election in America, so that probably won’t change. Notice that in many other countries gas prices are way higher than in the US.