Sobre reproductor DVD HDMI con DIVX, yo compré el Panasonic S52EG, está por unos 125 €. Ayer probé unos 10 DIVX y todo perfecto, no me hace cosas raras de ningún tipo.

En MundoDVD tienes un hilo sobre este reproductor:
http://www.mundodvd.com/foro/viewtopic.php?t=37930

Saludos!