Después de buscar el cable RS232 por muchos sitios y no encontrarlo, di justo hoy con una tienda de ordenadores que me va a hacer el cable siguiendo el esquema que hay en este foro. El tema es que ahora me da por volver a conectar el aparato después de par de días, con el hdmi y la corriente (como ya lo había hecho anteriormente) y sorpresa, ya se le ha quitado lo del menú que no paraba de correr, aunque en la pantalla del receptor no me aparecen los números de los canales bien, le di a restablecer valores predeterminados de fábrica y voy a seguir luego con una búsqueda de canales a ver que pasa.