Wenn du hier im Forum schon gestöbert hast müsstest du eigentlich über das Programm Avidemux gestolpert sein, das kann alles, was du brauchst.
Dein Stand-Alone-DVD-Player klingt aber nicht so, als wäre er wirklich DivX-fähig, normalerweise machen die keine Probleme mit den OTR-Filmen.