$1400 unshopped container pin to $2500 tops for a minty minty example.  Nino(strangeways) did one up and it was magnificent with new plastics and had the full treatment. You will have to ask him what he sold that for if its not confidential with his buyer. 

My restored WCS94 went to a high end collector for over $3500. I had two other buyers lined up that were willing to pay that price.

I've seen them go for as little as $2200 - but they are ALWAYS poor examples with broken ramps, plastics and poor shop outs. All machines are container pins, but it is the amount of time, effort and the willingness to spend money to make the game as good as it can be. I've not heard of a seller deliberately having the ramps gold plated like mine. New display etc etc. Some sellers list their WCS94 for months at elevated prices - one was even listed for $3900.

A reasonably shopped machine should sell for $2500. Reconditioned and restored will cost more. Don't pay more than $3600 for a fully restored game.