As long as no one is seriously wounded, leave it alone. You gathered enough Intel from the attack to set the trap on their next attack. However, if Americans are killed, it’s game on.
Regime Change ... What the ordinary Iranian people have been praying for - for decades.
Let the Iranians themselves kill their country’s equivalent of the Gestapo and SS.
.