Depends on the dealer an how they have shopped the game. Was it done properly or just the usual nifty and flipper kit only?

Given it will need decals for cabinet, in the current market I would think around $6500 to $7000 max. Cash in hand would put you in a better position as I reckon things are very slow at the moment