I'm getting my 622 installed later this month and remember a post or 2 about Channel 9 in Denver (a Gannett owned station) not showing up because of a dispute between Dish and Gannett. Has this been cleared up? In other words, can I get channel 9 in HD from Dish?