Pues otro que lleva desde el medio día como loco buscando soluciones y menos mal que os leo y veo que es generalizado.
Yo tengo el 4800 HD y no tengo cable, así que me toca meter los códigos cada vez que quiero hacer un cambio de canal.
Esperemos que encuentren solución pronto, ya que no dispongo de cable ni mi pc tampoco de puerto...