In my apartment, I only have a spot for one TV currently, but eventually I plan to get a 4K 3D TV and sell my current 3D TV. After that I plan to replace my TiVo Roamio (for my OTA channels) with a TiVo Bolt for 4K, and also for DirecTV replace my HR44 with a HR54 and a 4K Genie Mini (for I know I need two receivers for 4K). (The TV I eventually plan to get is not DirecTV RVU.) Anyways, with that in mind, could I have both receivers hooked up to the TV, but on different inputs? If I needed to as well, I could unplug the HDMI cord from the main box after it's programmed and just use the Mini. But will that work?