Dr. Galper, you've proposed just what I wanted in the original post!
I'll gladly put up $25.- to get the thing as a PDF, I sent you an e-mail.
RE: Photocopying it... I don't really want a print version, I probably won't use most of the pages anyway, and those few that come in handy I'll print off the old ink jet at home.
BUT, somebody's still going to have to scan in all thos pages... this is probably worth more than a free copy of what we've hopefully reduced to a $25.- manual.