He estado mirando un me puesto que es poca distancia y en recto, creo que no tendría problemas en pasar un micro hdmi, he visto cables por 9€, y luego ponerle un adaptador, sobre 7€.

Mi mayor preocupacion ahora es

Se pierde calidad al usar un cable microHDMI? como tiene menos pines, imagino que al ser digital no, pero si alguien me lo confirma.
Si pierdo calidad la opcion del compañero, aunque más cara, pasaría a ser prioritaria

Gracias