Deco 4K: consultas técnicas

[Aldapeco]

Hola:
He adquirido una nueva TV Lg de ultima generacion y hay un paso en el que te pregunta cual es el modelo de tu decodificador y aparece una lista.
Yo he mirado debajo del deco y pone tecnicolor pero esa marca no aparece en la lista para poder hacer mando universal y controlar todo con un mando.
¿Me podeis confirmar si esa es la marca? Gracias