If you don't mind using IR you might consider searching eBay for the remote HP built to go with its x280n (Smart Media Connect) Windows Media Extender. The remotes were widely available a couple years ago. It a universal remote /WMC remote with a full complement of WMC buttons. The only drawback is that it is not a learning remote. I use it to power cycle my Denon and my Mits 92" DLP.
I use the cable device button which I have programmed as a Microsoft PVR. I have several of these remotes. I have one of the WMC extenders but don't use it. I bought these remotes on eBay. I had one fail but the others have working fine for several years. There are device buttons for the HP extender, for TV, for Cable, for DVD and for Aux. I use the Aux for the recievers and it has punch through to allow audio control while in another device. No macros. Works great! The codes were on the HP site.
Samsung 78" JS8600, Mits WD-92840 43" Samsung 43ku7000 - Lumagen Radiance XS, Martin Logan Motion 40s, Ascend Sierra 2s
58" Panny Plasma -DVDO DUO, Usher S520, JBL HLS-610, Definitive SM45, MusicHall Marimba