I've got a new Roamio on the way and, with six tuners and two Mini's, I have the option of placing the Roamio in a more convenient location. But this flexibility presupposes that video quality (Roamio direct to best TV via HDMI, vs. Roamio to Mini via network to best TV via HDMI) is the same. So, has anybody done any side-by-side comparisons? Is the HDMI video put out by the Mini the same as direct from the main unit? Thanks for any help you can provide!