3.5K. It had a few issues that I knew would be easy fixes. A dodgy flipper and a cpl dicky switches, and a whole bunch of lamps out. A good clean, a new coil, and an IR led and it's great!
that sounds a bit pricey for one not fully working i've seen them for around $2200
