For DirecTV, you'll need to hook up the Mits adapter directly to the D* box via HDMI; it won't recognize it through a 1.3 HDMI AVR (what I do on my setup is have D* connected via composite to my AVR).
For the PS3, you'll need to hook...
12/29/12 at 2:25pm