Thanks for the info, Gregg. Man, those pictures just make you want one more. I'm checking it out this afternoon, so I'll update on what I find and get advice from all. The guy told me today it hadn't been cranked in several months, so he was putting in a new battery instead of charging. I'm concerned that it has been sitting and every seal on it will be dried out and leaking. Of course, they probably all need to be replaced anyway.
Still, for $1500-2000....