Something you could try is to ask him to print one of your files straight from your export. Don’t worry about adjusting margins, or whatever he needed to adjust. Just print it straight through, and see if the colors are better. That would eliminate the worry that his “resaving” is causing any issues.
