If we are opining whether Tivo provided complete source code for their
Linux kernel images, the requirement to change non-GPLed software as a
condition to exercise GPL-protected rights speaks for itself.
Out of curiosity, what do you have to do on models besides those? Are
newer models more or less restrictive in what they run? If newer
models are more restrictive, I think that also speaks to whether Tivo
thinks it is conveying complete source code.