I wonder if he could go into the guide and set the source for the one bad channel to use the CETON tuner only. It didn’t sound like a signal issue, more of a driver issue or because both tuners have the ability to be shared like a netwrok device maybe there was a conflict there.
I would turn on debugging on the HDHR and send Silicondust a log. And the logs from the event viewer.