ebay is the way to go but you never know what you may end up with. So be ready for repairs. The sellers that sell for 5k get from ebay and repair. i have bought and sold a few. If you need somin pm me.
There are over 26 sensitive sensors on these machines, the problem with finding these refurbished is the cost of parts to repair them. The guy I go through services these for the bank and wrote a custom software for it. Well worth the price.