For what it's worth, I've been using an online service manual. A 4 year subscription is 40 bucks. Might be US only though.

https://www.eautorepair.net/