In any case, around here petrol is once again over 7 USD/gal. It's certainly a bit inconvenient, but not the end of the world.