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