Total Dish newbie here, and nobody at Dish can answer my question:
Yesterday, I had my stuff installed (722 receiver/DVR) and I originally signed up for local HD channels. The tech set everything up, and plugged in my exterior antenna, and I had ALL the local HD channels over the air already...