EL prodigy no te va a grabar desde la salida de el deco del imagenio por la salida HDMI.
No concozco el Deco de Imagenio pero a lo mejor si tiene salida de cable coaxial, esta se le pueda meter a la de entrada de DVB-T del prodigy y grabarlo por ahí?. Tendrías que decir que salidas tiene el Deco de Imagenio a ver.
Salu2