I will get Dish installed on Sunday and they sent me an email stating that I will have 2RCVRS 211/411 and seems like there is a built in tuner in receiver so my question is should I leave outside antenna hooked up to TV or hook it up to receiver and possibly not have to switch inputs which is a pain with my HDTV. I will be hooking up to AV receiver by way of HDMI so hopefully DD5.1 will be fed thru HDMI like cable box. In order to switch inputs I have to switch inputs on AV as well as TV since TV does support ARC but AV does. Also if satellite goes out will it block port for OTA so I won't be able to watch it. I read mix things on this.