If his cable remote were made by UEI, using advanced codes for individual functions(efc's), it could emit the commands depending on oem remote and brand of Hdmi switcher.

[Link: remotecentral.com]