I'm looking around and can't find a catchall thread for links to service manual sites, please post any sites that host free manuals! https://www.archive.org https://www.mediafire.com/?n1o0nsxmy4kho https://www.nodevice.com/ https://manymanuals.com/ https://elektrotanya.com/keres https://freeservicemanuals.info/en/ https://www.audioservicemanuals.com/ https://akdatabase.org/AKview/index.php
And then there are the sites you didn't mention which are the pay sites. People charging ridiculous amounts of money for paper
Sometimes they are a necessity, in the early days of the internet it was too hard to post full SM's, now they are uploaded daily, I have a few but it takes a long time to scan and save. I did correct it to say "free" manuals.