If you're like me and you have some issues with DivX files, you might want to consider converting the files once you've downloaded them. I've posted here one of the files that I've converted to mpeg using the methods described here:
http://www.videohelp.com/divxtovcd.htm
Now, unfortunately, it's a very time-consuming process, and results in a larger file (for this file it took about 11minutes for the whole process, and I wasn't running anything else at the time). It's a bit of work, but for some of the smaller files it might be worth converting it.
On a side note, my issue with DivX is that, while I'm able to play the files, they're extremely choppy sometimes with long pauses in the video, or the video is very slow (but the audio keeps going). I'm using the DivX 5.05 codec because when I install the newer version (5.11 I think) it messes up my ability to play the DivX files at all.
Hope this little bit of info helps those of you who have DivX problems.