wow world cup soccer sold for $3200 ? was it mint?
It probably would have cleaned up quite well but needed new ramps, soccer ball and plastics.
Not worth $3200.
The best ones I think (besides the ringer pins) were Judge Dredd, The Flintstones and Dracula.
Every machine had faults but you kind of expect that at an auction I reckon.