Aunque tengo el cable Rs232, he optado por meter el firm con usb. Desconectado de red y de antena, previo borrado de datos de usuario, configuración inicial y vuelta a valores de fábrica. Modelo 4800HD serie A. Luego he metido lista de 158 canales y va como la seda.