Si puedes pilla el Marantz 6013 o el 6012 si lo encuentras en alguna página de internet sería. Entre los que planteas, el DENON 3500 para mí muy superior al Onkyo. Alguien te hablaba de un Marantz en wallapop, yo lo miraría.