Hola a todos, soy nueva en esto y necesito ayuda. Me han regalado:

unos altavoces KEF IQ 3
un reproductor ONKYO DV-SP 503
un receptor HARMAN KARDON HK 3480

pero el receptor está roto y lo tengo que cambiar, las 2 opciones que me he planteado de momento es cambiarlo por el mismo o por un PIONEER VSX 917K que el de la tienda me ha dicho que es más o menos de las mismas características y precio, yo he visto que éste último tiene HDMI y el HK no, y no sé hasta qué punto esto es importante, porque también he leido que HK es mejor marca y lo quiero sobre todo para escuchar música, aunque también lo aprovecharé para películas.
Si me pudierais decir cuál es mejor o recomendarme otro lo agradecería mucho.
El tema me urge un poco.
Muchísimas gracias.