Buen equipo te gastas, sobre la eleccion de un nuevo avr los tres que indicas son un salto notable frente al 8012 , el sistema de EQ es quien marca las diferencias.
Las 702 s3, agradecen una buena entrega de corriente aun asi no son dificiles de mover, cualquiera de los tres sera suficiente solo para 5 canales incluido el 8012 que ya tienes.
Cual me quedaria de los tres? dependera de tus gustos, si tu prioridad es 100% cine el mrx1140 es muy dificil de batir, en el caso de buscar un stereo de muy alto nivel el AVR31 con su clase G juega en otra liga y el no menos interesante Cinema 30 que cumple en todo sin ser el mejor en nada (excepto en fiabilidad y software) a un precio muy inferior a la competencia, convirtiendose en un duro rival en este sector.