In my house I have TiVo Mini's feeding from my Roamio. I rarely use the room that has the Roamio, but it sometimes seems slightly slower actually in menus and changing channels than when I use the old Mini boxes. I also have two Vox A95 Mini boxes which are definitely faster, but didn't the Roamio and A92/A93 come out around the same time? Or are the "old" Mini's actually faster than a Roamio Pro? Thanks!