The software that TiVo uses is proprietary. Their software just happens to RUN on Linux, their software was never open source and isn't based on Linux or anything open source. Linux is the operating system they chose to use.
That's like saying that Oracle DB server should be open source because Oracle has a version that runs on Linux.
Not to mention that TiVo has ALREADY sued Echostar and won over DVR patents.
