I'm in Orlando so I get local HDs off the satellite. I ordered a DVR and an HD box. Is there a standard receiver they install or is it luck of the draw? I'd like to take a look at and familiarize myself with the system manuals before install day (Aug 25th).