Hay más opciones , con un reproductor con doble salida HDMI sobra .
Tienes el sony ubpx700 que tiene doble salida HDMI y te lee los audios hd desde USB y no necesita splitter , el ziddo x20 también tiene dos salidas HDMI por 420 euros y el oppo 203 te vas a 850 ,todos ellos sacan audio hd y sirven para usar un avr no compatible con 4k.
El Sony lo Tengo en casa que me lo han dejado y se ve muy bien , me ha sorprendido gratamente , no me lo quedo por que tengo mucho material en .iso y el Sony no las lee ,si lo hiciera con poco más que vale el splitter solucionado .