Ok, ya lo he hecho con el ConvertX, da unos resultados medianamente buenos.
Igualmente, creo que voy a optar por pillar un reproductor DivX hoy mismo, porque tengo muchas series y ocuparían mucho espacio y tiempo si cada vez tengo k hacer el ConvertX.
Cuando tenga el reproductor divx, qué hago? meto los archivos así a pelo?