mira en amazon.de que se puede encontrar el denon x2400 nuevo por menos de 400€, es el modelo anterior pero creo que no pierdes casi nada comparándole al x2500 actual, a eso tendrías que sumarle los gastos de envío, y me parece un escalón por encima de los receptores que propones, un saludo