I went ahead and bought the service manual on CD on ebay for $20.00. I wonder if it's very useful...