Dentro de esa web estos dos conjuntos SONY, el HT-DDWG800 y HT-F1300, tienen lo que necesitas: AVR con entradas HDMI que captan sonido por ellas.

Las diferencias son no solo estéticas y de tamaño, también de tipo de amplificador y altavoces. Sus carácterísticas las tienes aquí y aquí. Por cierto, no hagas caso a los vatios que informa este último, no es así.

Como supongo que no los podrás oir antes de comprar, busca por el foro alguna opinión de quien ya los tenga.

Saludos y ya contarás tu decisión (y que tal se oyen cuando los recibas).