Does anyone have (or know of) an HDMI switch that they can control from a Dish Network remote (using the AUX button)? I have a 5.3 IR remote for TV1 that I was looking to program so I could switch to other HDMI devices without the cheap remote that seems to come with HDMI switches. I looked at monoprice, but thought I'd ask to see if anyone knows. If so, are there remote codes somewhere? Thanks.