Ahora mismo en el foro hermano (forodvd.com) en la sección de segunda mano tienes un Receptor AVR DENON 4310 con dos salidas hdmi por unos 415€ con los gastos de envío incluidos, echa y vistazo al anuncio, lee detalladamente las características y comprueba el año del receptor.

Yo ahora mismo no te puedo decir si es una buena compra o no, pero en gama es claramente superior al tu fallecido Onkyo, y de Denon que yo sepa no se conoce problema alguno con los Hdmi, como nos ha pasado a los poseedores de muchos receptores Onkyo que dejaron de funcionar de forma correcta.

Un saludo desde Coruña.