Okay, I'm sure this has been mentioned before, but you can use TMPGEnc to encode from DivX to Mpeg straight up. I'm only bringing this up because of that newbie guide which talkes about converting DivX's. Well, that's all, hope I helped some other n00bs like myself...
8)