A friend of is interested in a TiVo for his OTA setup -I was wondering if someone could tell me what the current options are? It is had to figure out on the phone. I know they had / have the Roamio OTA with 1TB, 4 Tuners and service included for about $400... I am not sure what the direct bolt replacement is... He wants to use the TiVo with a few minis. I also can’t remember what model excluded the stream? Wasn’t that the 4 tuner Roamio? Sorry, my memory is failing me and the TiVo site really isn’t very mobile friendly What’s the best option?