But there is a 4k box coming "soon" (announced yesterday, so maybe available before Christmas ). You may want to hold off, because the original Tivo prices might go down.
Just another VM user trying to help, so no guarantees that my advice will work . If my suggestion is helpful, please mark it as helpful; it may help others. Just want to say "Thanks"? That's the Kudos button.