Quoted from vid1900:
I still have mine, paid $2700 brand new.
I did not keep it minty fresh, it was out with the other ones I had, earning money.
Funny thing is that everybody loves them now, but they were never a good earner back in the day. Pinheads would complain that it was "too many toys", "too goofy" and "not pinball".