I sold a flip last season with a far FAR less noticeable dent that that one, and I took 1/3 off my normal market price.
- Had it been disclosed to me to begin with, I would not have bought it.

However - that was a $300 bike: This bike is worth more, is worth buying, and worth repairing professionally.
The repair must still be disclosed to the buyer though.