used

I'm looking at getting a 30qt Hobart mixer. I found one on Cragslist here - pics look good; it was manufactured in '83 (which, I guess, is still fine for a Hobart).

I'm planning on driving over an hour on Wednesday to look at it before committing - do you guys have anything in particular I should look for? Other than the obvious, such as giving it a good grab and look for "play" (or more exactly the lack tereof), and to run it in the different speeds?

Does anybody know where I could get a Manual for a 29-year-old mixer?

Thanks in advance,

Stephan