Thanks for all the info..
I didn't explain myself well, I have one and was pondering selling it (not decided yet), but wanted an idea what it is worth.. It seems to have gone up a lot, but not so surprising as even the colordmds cost a lot more now than when I bought them, let alone pinball prices creeping up..