Ok, thank you for the feedback. Diminished value seems like a long shot at best and not worth it for a minor repair (I could understand real collision).
@
Turbo95eg6 - I'll see what insurance pays. I bought some PDR coverage when I got my car and haven't used it yet. I have a ding or two in the other door, so maybe I will have them clean up everything then try my luck buffing this out. It will surely be cheaper than the $1000 quote I got.