Sorry, I must have missed this post when it first appeared, Andy.

Operation Manual is part number 1884
Service Manual is part number 1885

Give me a call if you still need a copy of either.