Having just gone thru one and playing around a hundred games on a Nine Ball myself it has quickly become my favorite game. Pure pinball at its best -- spinner, pop bumper, and drop targets with enough variability on rules/goals to keep it interesting. If only I could replace the sound card with Pinsound but even the 80s effects are growing on me.
Don't think I'd sell mine at the asking price or even above, the new owner should/will be be pleased.
Best of luck finding a new home.