I just signed up for DirecTV and wondered if anyone knew what receivers they are setting up now? When I got Dish they gave me an old model even though I asked for the 722 (I now know that they can't guarantee a model). I just don't want to get stuck with an HR23. Thanks.