El escalado 4K no lo vas a usar, mejor desactivar cualquier procesado de video en el AVR. En cuanto al reproductor no te hace falta que tenga una salida HDMI exclusiva para audio.