Siento la absurdidad de la pregunta pero debo preguntarlo ya que no entiendo demasiado del tema, me configuraron el deco y ahora al parecer debería cambiar la lista de canales ya que hay algunos que no veo o tienen nombre distinto al que deberían tener.
¿Se trata de coger el archivo, descomprimirlo en un pen limpio y formateado, enchufarlo al deco y ya está?, ¿hace falta algo más?

Gracias !!