So I've already found a copy of the 1400 page manual, but I've seen people refer to service/technical/repair/shop manuals. Are these all the same thing, or are there different manuals for different things? I'm just trying to make sure I have all materials necessary for any maintenance needs.