cualquier modelo de yamaha o denon con hdmi te serviria, tipo rx485 o algun denon de la serie x1000, y siento comunicarte que el onkyo que planteas vender tiene muy poco valor, 40/50€, ya que he visto receptores del tipo que te comento antes sobre todo en yamaha por menos de 100€, espero haberte servido de ayuda.