The DeRush-Hour Headlines: when will the ceasefire result in cheaper gas?

Jason talks to gas expert Patrick DeHaan from GasBuddy.com about the ceasefire between the US and Iran. Assuming it holds, when will we start to see cheaper gas prices? It might not be as soon as you'd hope.