We are thinking of making the switch, but I just have a question as far as the whole-house DVR goes. We have 4 TVs, 3 of which are HD. If we get a standard receiver for the SD TV in our bedroom, will is work with the whole-house dvr or does it have to be a HD receiver?