Hi and thanks in advance.
The picture below shows my current system. I recently replaced a 6100 with a 9242 (single tuner HD to a dual tuner HD PVR). The install I had worked for that, and a 5200 (dual PVR standard) plus a 3100 (regular standard).
So by putting the 9242 in the 6100's place...