Gracias a ambos. El sábado me llamaron del ST de iPlus y tras exponerles detalladamente las conexiones y el problema, me han dicho rotundamente lo que ya había deducido empíricamente: hay que apagar el deco antes de cambiar de fuente porque la conexión HDMI-DVI no es capaz de recuperar el protocolo HDCP. Por tanto, algo de razón puede haber en el cambio de señal sugerido por Joaquín.
También me han sugerido que APAGUE siempre el deco para evitar sobrecalentamientos y que el disco duro esté permanentemente activo.