Soy usuario del x4000 y es un buen receptor, la mejora mas significativa es un audyssey mas avanzado y una tercera salida hdmi.
El resto son muy similares , 400 euros de diferencia es posible que no merezcan la pena.
Si tienes alguna duda mas, pregunta sin problemas.

saludos.