Кодировка файлов VRO в divX

Всем привет! Такой вопрос, чем лучше прекодировать сей дурацкий формат в обыкновенный divX или хотя бы в avi. Мудохаюсь неделю, за все это время этот гребанный формат увидел лишь один DVD рекордер и тот Plextor, и один DVD плеер Sony. Больше ничего не видит. Решил тупо скинуть на винт и попробовать что-нить замутить. В наличии есть Dr. DivX 104, Virtual Dub. Они это смогут сотворить?