I rode the bike to the shop, about half a mile downhill. I don't want to rule out that it could possibly have been damaged by that rude but I've never had that happen before, especially in a low stress area like the middle of the seat tube.
I asked in another thread and they believed the denting without paint damage was because it was clamped by something soft or padded: ie a repair stand.