I am thinking of making the switch from the other satellite company due to incompetence from customer support. My main questions: (1) does the DishNetwork HD DVR allow for input of an antenna for local HD channels and (2) if it does, does DishNetwork have a HD antenna they will sell/install with the system?