Es una leyenda urbana eso de "mejor AVR para estas cajas"
Cualquier AVR sonará bien dependiendo del nivel de presupursto.

Cuanto quieres gastar?

Ese Marantz es una buena opción, también lo son otros como un Denon X2400 o un Sony o Yamaha en esa franja de precios.

Evidentemente hay que comprar uno y ese SR5012 seguro cumple expectativas.