Tengo Marantz SR6010 porque lo compré a 760 € en anazon.de, no tenía claro en 2016 que lo compré pagar los 1.000 € que costaba en España tras bajar de sus 1.400 € de salida.

Que haría hoy?

Buena pregunta, ... seguramente pagaría por el SR6013 sin desmerecer al Denon X3500