I paid $800 for the one I gave Dad a few years ago (could use a new playfield)

Pinpedia has them at
USD $1,650    Ohio, United States    25 October, 2011
USD $1,595    Pennsylvania, United States    12 October, 2011
USD $815    South Carolina, United States    19 September, 2011

add a bit to import.

Red