I have a good friend that's getting an HD DVR installed tomorrow by Direct. Does anyone know what model receiver it might possibly be? He's completely lost when it comes to anything tech and I've personally never used any Direct equipment. I thought I might look the receiver up if I knew the model number. I'm sure the installer will show him the basics, but he will probably rely on me for the first few weeks until he gets the hang of it. All I've ever used are the Dish Network receivers, but I figure they can't be that much different can they?