Iran gets to learn "you break it, you buy it," with their own money. The remaining government officials still running their mouths on X and elsewhere should also be grateful they are still alive.
So far the Iranian response has been very strategic and calculated. So much so, that the majority of the west especially the Trump administration is not even capable of understanding their strategy.
I don't think it serves a strategic purpose to bomb Mar a Lago at this stage in the game.