Gracias por contestar; he instalado el último firware; aparentemente todo bien, excepto que no puedo poner canales a favoritos. Con el firware viejo sí pude, pero borré los canales para volver a empezar con el firware nuevo (el 09.5020), no sé porqué lo hice aunque tocando es como uno aprende y le saca partido al deco; y los resintonicé de nuevo pero al querer pasarlos a favoritos me dice que lo máximo son 200, pero no tiene ninguno en favoritos. Como no hay manual reciente a lo mejor con este otro firware se hace de otra manera.
Una pregunta, qué diferencia hay , referente a la configuración de video, entre 1080p y 1080i, y cuál es mejor poner.

Un saludo