I have the 722K receiver and a Pocketdish. I can only transfer standard def programming to the pocketdish. My Network channel 20 only shows up in the guide as High Def. I have standard def channels for all of the rest of the local channels. Does anyone else have this problem?