Do you know how much the manual copies will cost, shipped ConUS? I don't have a receiver, but it might be nice to have a manual, just in case.... Also, I've found it's worth paying a little bit more for 24# extra white paper when copying manuals. Thanks, -John