The printed version of the service manual is available at a dealer. I think I paid about $120 for it when I had to do the 1k service at home or drive 500 miles round trip to the dealer.
