Yep, this will become a *hard lesson* for the US to pay this much for gas.
But as Roald already told, also here in Germany we´re almost paying $ 10,-- / gallon. The date you´re paying $ 10.-- in the US , we´ll be close to 15 > 17 ...and I bet my azz this will happen in not such a long time...