I want to convert video files (vob, mpeg1/2 etc) to Divx format. I tried the Divx Converter but the properties UI seems non-existant. I'd like a utility like TmpEnc but for Divx. So what do you all use?