I need a service manual for a John Deere 4020. The dealer wants some over $70 for a CD--I would prefer a book but those are $130. Are there any other sources that are cheaper on a manual published by Deere? I have no interest in aftermarket manuals such as IT. I got a feeling an old paper manual on Ebay ain't going to be cheap either. John Hall