I noticed the HR-875 receiver isn't listed on the manuals page. I have a hard copy of this manual and would be happy to make a pdf and submit it.But who do I send it to.Also the manuals listed are huge. Need help crunching them down?They don't need to be 20mb.