Pues después de darles muchas vueltas en la tienda tenían el Philips 5900 y me lo he llevado.
Ya sé que es algo antiguo, pero tiene HDMI.
Y lo mejor de todo, me lo han regalado, con el cable incluido
Saludos