Yo estaba pensando buscar un cable HDMI, pero creo que al final voy a comprar un adaptador HDMI->MicroHDMI, porque ya tengo un cable HDMI->HDMI para reproductor externo y un cable HDMI->MiniHDMI para la cámara digital.
Me ahorraré espacio para cables.
Además he visto un cable de estos bastanta asequible. No tengo ahora a mano el enlace.
Saludos.