I sold a beautiful Funhouse 5 years back or so for about $4,500 -- I'm sure not as nice as yours, but still *very* nice with a ton of the upgrades you mentioned (playfield, decals, parts). The market has changed, and I'm sure I probably sold it a little cheap, but.... wow. I may be priced out of this hobby before long.
Best of luck with the sale. It's a beautiful machine.