I've been very happy with my Tivo Bolt and Tivo Mini for several years. I'm adding a home theater and interested in the new Tivo Edge, mostly because Tivo says that the new device will provide 4K, Dolby Vision, HDR. If I add the additional DVR and pay Tivo the additional subscription, then will I also need a second cable card and digital tuning adapter? (My local Spectrum office is no help in answering this question.) Thanks.