@Lordflashh3art
I think he's handled it perfectly - make a joke of it and move on.
That way, he looks like the bigger man, everyone thinks she's a nob. If you're going to react, the Prescott approach is probably the best - but only if the assailant is a bloke.