Creo que por 700 euros en España puedes encontrar Yamahas equivalente a tu modelo con todo lo que necesitas.
O si compras en Amazon de Francia o Alemania podrías encontrar mejores modelos, tal vez un Marantz 6010 ó 6011.
Igual hay una página holandesa con uno precios de infarto, se llama Outlet o algo así.
Editado: No sé si todas las entradas HDMI de equipos de ese precio sean 4k.