“Are the ATSC 3.0 tuner and ATSC 1.0 tuner to separate tuners, where you can DVR a broadcast on one tuner and watch a different broadcast live on the other tuner?”