Even if retreat, to re-establish production levels and delivery it will take months. Price will still stay high for months, oil stable under 75$ would be the signal things are going better. .. Do gas.

Keep bombing until their pockets are completely filled with cheap bitcoin, equities etc. Timeline: Unknown.

Why not both.

Pretty much everything the US has ever done emboldens the worst of Iran. So I'd go with whatever outcomes you'd expect from another such action. That said, I always keep our tanks at a minimum for emergencies.