I just bought an 825 and was thinking of ordering the service manual. I found a few for sale online for about $30 or so. Are these useful manuals? I have purchase manuals in the past that were more like user guides and didn't have a lot of good repair and maintenance info in them so I don't feel like throwing my money away on something like that. -Mr_C