I can see 3k for a mint Pin Bot. I love mine owned it over 20 years it's in good condition but has play field wear by eye sockets and pop bumpers on the right.
I also have a vortex that is super glued at top and a broken play field plastic left side. (I do have replacements parts)
That being said it is a classic game I doubt I would ever sell. I see HEP at prices way above my price point. Someone is going to be happy owner. I agree what's an extra $500 or so in the big picture, for perfection.
Good luck