Pues muy fácil la elección, si quieres lo último en compatibilidad y conexiones el Denon, si lo que quieres es un poco más de musicalidad el Marantz.
Los dos son primos hermanos y te gustarán ambos, pero a menos que los compres de segunda mano el 7009 se encuentra más barato que el X4200W. Aún que para ser sinceros se me antoja el 7009 al nivel de X5200W a no ser por su más novedosas compatibilidades de descodificación y conexiones.
Saludos