I just had DirecTV DVR with TiVO installed today. After it was installed (by the surprisingly nice DirecTV people) I started reading through the manual to find out how to record programs and stuff. At the very end I noticed the "GNU License Agreement". It had the entire verbatim GNU user agreement. It said that "you have purchased this DirecTV DVR with TiVO under the GNU GPL" in big letters at the top. I was amazed by this... why would DirecTV of all things do this?