El precio es muy bueno, aquí en España es muy superior.
Tengo el inferior al 4520, denon x4000 y va muy bien.
El precio en las tiendas españolas varía de 1400 a 1500 euros.
En mi caso , no creo que valga la pena la diferencia de 1000 euros que tienen estos dos receptores.
Con el precio q comentas, el 4520 es una genial opción.

Saludos .