You can also use Dr. DivX for pretty painless conversions. There's even an unsupported patch (from the DivX people) that lets you use it with the new DivX 6.
_________________________
~ John