i've been looking how to encode vob files into divx avi files, and without fail following any of the howto's i google resulted in failure. i have mencoder installed, vobcopy. i have the vob files and they play perfectly. what do i need to execute to convert them into mpeg4 avi files?