On a different but closely-related note, I have quite a few DivX 3.0 videos which I'm looking to convert to XviD, mostly because my EyeHome seems much better at playing this format (although it technically supports DivX 3.0 now, it's not very good with it). Any suggestions?