Gas Prices Jump Again in Nine-Month High, Oil Production Cuts Add Up