Based on the sole picture in the auction, I'll say it is worth $6000..
Now you would THINK that someone who owns (or owned) 50 pins would know a "little" about pinball machines and would understand the BASIC difference between the plunger and the "turrent" shooter (as Gav pointed out).