Ahora tengo el Tivo conectado al HDMI1 y el BluRay y la PS3 desconectado, y funciona perfectamente. Cuando enciendo el TV, se enciende solo el ampli en modo AV1, ya que la señal que le entra al TV al encenderlo es la de la TDT. Entonces para pasar a la señal del TIVo tengo que seleccionar en el TV la entrada que me muestra como "RX-V477" (por tenerlo conectado en el HDMI ARC), y automáticamente en el ampli me cambia al HDMI1. Pero claro, con los otros dos aparatos desconectados!!
Ahora tendré que conectar uno, a ver que pasa....