..yo estaba con tu misma duda, hasta hoy que he terminado de comprar el receptor que buscaba y esperando que llegue para testearlo.....creo que la pregunta que has de hacerte es para que lo necesitas....o buscas.....si es solo cine, si te gusta escuchar música...ect y a partir de ahí es cuando empiezas a encontrar la solución a la duda.

de los que mencionas lógicamente el marantz 6010, pero claro es el mas caro por muchas razones y todas de peso.