Muy buenas Kopean, esa duda la he tenido yo hace poco. No se donde pretenderás comprar, en Redcoon tienen ofertas muy buenas para esos receptores, Yo hice la consulta en el foro incluyendo a parte de los equipos que tu pones, el Marantz 4400 y es éste el que me aconsejaron. No se si te habré ayudado o te habré liado mas pero eso es lo que a mi me aconsejaron.
Un saludo