Threads like this always make me a bit confused as if damage to cars is just a hazard of owning one and you should just suck it up.
Not something people should suck up per say. Just something that happens when you own a car.
Dings are part of the risk of parking in a lot. Just like scraping your knee is part of the risk of riding a bike. Shit happens.
It's not pleasant, and it's irritating, but given the circumstances, it's not something to get worked up about either. There's not much you can do. Insurance won't cover it, and it's not worth the money to pay out of pocket to fix.
What would you have OP do? In reality, it wasn't a collision, so her insurance would be like "So?" the owner's insurance would be like "So?". There's not much that would have come of it anyway unless the owner chose to pay for the dent repair himself, in which case he didn't need her info to do so.
On principle, I'm sure it's irritating to have your car dented and have the person run. In reality, nothing would be done about it anyway.