Ok, I am making the switch to Directv due to us moving to Omaha, and they have the locals in HD there. Also, I am going to get the NFL package. Anyway, in looking at the forums, I have noticed many different numbers for their HD DVRs. Is there one I should ask for, or will I receive the most...