Otra cosa. Me quiero comprar el Engel SAT HD PVR. ¿Los códigos y el sistema para regar es el mismo que el del 4800, o hay algún manual específico pare este deco?