Seeking input on fair price to pay for a DE Jurassic Park. I'm imagining a machine in 100% working order, decent shape, relatively minor scoop/playfield wear, topper not a necessity. There's currently one on my local Craigslist for $3k but I'm thinking (hoping?) that's priced on the high end and that a decent example should be closer to the $2-2.5k mark. Thoughts?