Pues un AVR bueno y "económico", que pueda captar sonido por el HDMI es Yamaha RX-V661, si reaparece por redcoon a buen precio o en otro lugar, sino el RX-V463.

A ellos le añadiría el pack Infinity Primus o, si te alcanza el money, el Infinity Beta. Este último demejor resultado para música también.