Hello. My name is Vince and just wanted to ask a couple of questions concerning dishnetwork and their equipment. Is the 942 the best one for recording HD. I spoke to a csr just to feel things out and she suggested it for something like 250 dollars up front to lease it. Does this sound right?