What should be done about gas prices that continue their record highs?