Generous offer, Billy. I paid about $75 for a used operator's manual and used shop manual for my 4200 on Ebay a while back and was happy to get them, too. Deere wanted well over $100 just for the shop manual, as I recall. /w3tcompact/icons/shocked.gif
I bought a new 4610 and forgot to give the old operator's manual to the dealer. I did look up the price of a shop manual for the 4610 (JD online parts) it was right at 150 bucks.
If no one here needs it you might list it on Ebay. You'll know it's going to someone who wants and needs it AND you might even get enough to cover an oil change out of the deal. /w3tcompact/icons/smile.gif