Gracias por vuestras respuestas.

Lo que yo pensaba. Si es difícil soldar una conexión hdmi, no tendré más remedio que volver a recurrir al cable VGA y rezar para que llegue bien la señal a tanta distancia.