Nodevice is a commercial download site. It looks like the price per download is 5 $. It might be worth checking out if you can't find a free download. I mentioned them more than 10 years ago. Back then you had to subscribe to make downloads.
I've around 53 service manual. Most from quite old printers. I'm going to move them from my general site to another dedicated to printers only. It's free of charge, there are on my own server. When it'll be done, I'll post the link.
The 3 first ones are online since this morning here's the link. https://imprimante.store/docs-category/service-manual/
I'm going to add some other pages today. Anyway the link will remain the same, you just have to choose the one you need on the displayed page.
Enjoy your week end