I have a GEHL 4840 which I bought used about 1 year ago with 1200 hrs. I have now put 100hrs on the machine and really like it. I was able to get the shop manual from a dealer downloaded onto a stick. And, it didnt cost me a dime. When I went to my local dealer they wanted $150 bucks for the shop manual. Give it a try.