Gracias por tu respuesta.

El extremo que voy a meter por el tubo es el del mini-HDMI que es mucho más pequeño que el normal y, como dices, utilizaré una guía. No tengo muchas curvas, porque a la mitad de camino hay una caja de registro que puedo abrir y de ahí continuar hasta el techo.
Lo que no logro encontrar es el adaptador mini-HDMI hembra a HDMI normal.

Saludos.