I know Divx uses Mpeg-4 and will produce the smaller file size but I'm more worried about picture quality since I'm only looking at recording short stretches from a analog tv tuner. The tuners I've looked at mostly record in Mpeg-2 but one does DivX 2. Is it better to go for DivX for quality?