Consiglio che in genere condivido ma, se non lo ascolta lo prova almeno con il proprio setup di diffusori l'ascolto serve davvero a poco.
In ogni caso, tra quelli elencati direi il Marantz, ma la domanda è, necessiti davvero di 9 canali amplificati? Se non ne hai bisogno potresti pensare ad un Denon AVR X3500H che ha prestazioni analoghe al Marantz e costa molto meno.