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