As Theo mentioned, I believe this is the best way to hook up your system:
1) Sat box into AV7005 via HDMI
2) AV7005 into TV via HDMI
3) TV digital out (coax or TOSLINK) into AV7005 digital in.
Then assign a selectable input to the Sat box and define its audio as being the digital in from the TV...
-RW-
1) Sat box into AV7005 via HDMI
2) AV7005 into TV via HDMI
3) TV digital out (coax or TOSLINK) into AV7005 digital in.
Then assign a selectable input to the Sat box and define its audio as being the digital in from the TV...
-RW-