Be careful on ordering a "repair" manual. I recently bought a "Operators" manual from Bobcat. 95 bucks for a photocopy of an original, put into a coil. Rip off and fairly useless information for that money. What I really wanted was a "Service" manual. I ordered one online from cramiesmanuals.com . 125 bucks but it is a original service manual that I assume a dealership service dept would keep on the shelf. Very useful and what I was after originally. Live and learn i suppose. 2 cents for what its worth.
