Receiver for SBS-01 system

I plan on buying the SVSound SBS-01 system within the next week or so (unless I find some horrible review to sway me otherwise). My issue is that I'm not sure what receiver would pair well with them. So far I've been looking at Yamaha RX-V661, Denon AVR-787, Onkyo TX-SR674, and the Harman Kardon AVR-247. My price range is up to roughly $500 or so. The only feature that I would really want is the HDMI up-converting so I can have a single cable into my TV. What would be the best receiver for me? If it's none of these, what would it be? Thanks for any help that you can provide.

Thanks for the reply. I'm hoping to get some other opinions as well before I make my decision.

The only real features I want is the microphone auto-setup and the HDMI upconverting. Other than that it's all about sound quality. Would the HK still be the best in this instance?

I checked out the HK 347, but unless I"m looking in the wrong spot it's a bit out of my price range. Do you have somewhere that you recommend looking into it?