Muy buenas.
Hay varios post con referencia a esto, *utilizando la opción de buscar y poniendo la palabra DivX encontrareis algo de información.

De todas formas dejo aquí el link de un post https://www.forodvd.com/cgi-bin/YaBB...89&start=1.

Hay muchas marcas que tienen este tipo de reproductores:

La marca woxter tiene muchos ( www.woxter.com ).
tienes el philips 737.
Nevir está muy bien el modelo 2046 y 2047.
En Media Markt puedes encontrar el Dalton DVX-500 por 79€ y un Medion por 99€.
En el Corte Ingles el JVC-316 por 149€
En el Corte Ingles hay un Roadstar por 99€.
Existe el Tevion 3000.
La marca KISS tiene muchos modelos y de muy buena calidad, soportan subtítulos y ogg vorbis, kiss-450 etc.

Pues eso que hay un monton...

Salu2.