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.
I don't think it serves a strategic purpose to bomb Mar a Lago at this stage in the game.