I'm really hoping they fix this in a some code updates in the near future -- HUGE oversight and I hate to buy more hardware out of my pocket to get past this oversight...
Unfortunately, due to the complexity of the system (HDMI Matrix switches, etc. etc.) in the mix, using the Dish remotes...