What if gas cost $10 a gallon?