I need to order an HD DVR. I don't know which models Directv might send (it is for my motorhome, they will send directly). My space is limited and I need to know width, height, and depth of the various models. I don't need a TIVO, just HD DVR. Thanks in advance!