Is there any room for improvement with the current codec that TiVo uses during ordinary TiVoing? Last time I checked, the files for a 60min show were enormous. I have no idea if TiVo uses hardware or software encoding, I'm assuming hardware due to it all being realtime. I'm just throwing this out there, but if my TiVo uses, say, mpeg2 encoding, is there a way to make it use mpeg4? Or would that involve hardware changes?