DirecTV just replaced one of my 2 ancient HR20-700 boxes with an HR34. It was almost a free upgrade, I just had to pay the $50+tax for the technician service call. The technician brought the HR34 in the house in a box, opened the box, hooked up the HR34, and when I asked him for the remote, he said that I should use my remote from the old receiver. Is that correct? Shouldn't I get a new remote with the new box? And is there a (paper) manual for the new box I didn't get as well? Cables?