De los que mencionas me iría de cabeza al Yami RX-2040.

Como posibles alternativas, aprovechando la temporada de liquidación:

Arcam FMJ AVR400

Marantz SR7008

Y estos, pelín por encima de tu presupuesto pero creo que podría compensar:

Pioneer SC-LX86

Anthem MRX-510

Saludos