Won't you have to change the channel anyway? WIth DTA you have no idea what channel the Mini will be on when you go to LiveTV.
Roamio Pro (5TB Red)
TiVo Mini x4
Roamio Basic OTA (1TB Red)
53TB unRAID2--38TB unRAID3--33TB unRAID1a