Curious when this was? The one that I knew of that changed hands the middle of last year went in the $10k ranged, it was collector to collector and not eBay. That being said I saw one up north that didn't work traded in the sub $4k range but that was probably three years ago. Hell if you just want to throw out numbers the guy I bought mine from only paid $90 for it which really doesn't mean anything about its value when I bought it or today.

My money is on the pin not the vid.

That one has been fully restored with a restincled cabinet and is in extremely nice condition. I bet it goes high.