Ese Denon X2300 esuna opción o los Marantz equivalentes.

Yamaha también tiene de doble salida HDMI.
Cuanto quieres gastar?