Manuals can be purchased from your local dealer.
One of the dealer members here.
At Billstractor.net, Bill's part#s for them are PMSM202WD7520 for service and PMPC204WD7520 for the parts manual
Or even possibly on Ebay
I have both the factory service and parts manuals I bought through a TBN member here who had a local dealer go out of business. He sold all he had to many members a few years ago. I find it very useful looking up correct names and part numbers so I have them ready for my dealer when I need something.