Setup/Installation Question

I would imagine they'll just ignore that setup.

Your AV receiver has HDMI switching?

If so, they'll just install the dish and D* receiver like normal and then connect the D* receiver to the AV receiver via HDMI.

If your TV has more than 1 HDMI input they may just hook the D* receiver directly to the TV via HDMI, but you could always switch it later if that's the case.

Most installers are not trained on (or paid to integrate to) AV receivers, and will want to connect the receiver directly to the TV.

If the customer is very familiar with their equipment and how to use it, many installers will work with the customer and the AV receiver, as long as it doesn't hold up the process (the installer's time is limited). Generally, if it looks like hooking things into the AV receiver is going to confuse the customer, the tech won't do it, because if the customer complains to DirecTV that, for example, they "can't get sound", the tech can get a charge-back and have to go back for a free service call.