Here’s my thoughts on your situation:
If you want to sell it, consider leaving it as-is (other than gently cleaning him up) and let the new owner decide if they want to fix him up or not.
Since the damage is so minor, you are likely to get about the same price as you would if you repaired him. Unless the repair is REALLY great!
If the repair is less than stellar, I have observed that most people would rather attempt the repair themselves (or send it to someone skilled in repairs) than to buy a repaired piece, and have to re-worked the repaired part to their satisfaction.
If you want to keep him, by all means try a repair! 🙂 It’s not terribly hard if you are patient with it. The hardest part can be getting a paint mix that matches perfectly.
Volunteer mod- I'm here to help! Email me for the best response: nambroth at gmail.com
My art: featherdust.com