I did find this manual available, not sure it covers the machine you're looking at....
The file is a 50mb PDF manual so be aware it'll take a while to download.
http://static.sparkfun.com/manuals/Autotronik_manual.pdfI can't stand companies that don't support used equipment. We've run across a few like that at work, and tend to steer away from them if possible. $5,000 is just extortion if you ask me.
Had a company try to do the same thing with an ultrasonic stencil cleaner, $3,500 'registration' to have access to tech support. Not even $3,500 worth of parts in the thing.
Just a couple water pumps in a stainless tank with an off the shelf ultrasonic generator. We declined.