Siguiendo un link de hace un par de horas de javiersanchez he encontrado estos:

www.rjtech.net/p_dvd_players_color.htm

Hay tres modelos 3000, 4000 y 5000 que parece que tienen divx, salida HDMI y que escalan.

¿Sabe alguien si se podrían conseguir, existen o al go semejante?

Espero que sí

Saludos a todos

entrop21