Al menos en mi caso lo que tengo que hacer es seleccionar en el tv - fuente - denon2500, y luego ahí ya se ve el menú que comentas.