Other than giving the insurance someone to chase, it won't matter. Florida won't address parking lot damage as it happened on private property... Big John is welcome to snowbird here, but I would drive the Merc while in this state.
If you find the guy, I'll come help feed the alligators.
I wouldnt care if its covered or not. The SOB that did it has a moral obligation which he didnt live up to. Stan is now obligated to seek him out, hunt him down and remind him of car show etiquette and humiliate him .