Thanks for all your input...what do you think of this unit?
http://av.jvc.com/product.jsp?modelI...athId=5&page=1
From what I can see, it does all transcoding to a single HDMI output, which would be perfect for me. Also, it's not so massive as the other receivers - probably meaning it has less power, but I'd think 100W/channel would be plenty for me.
Looks like I can get it for around $450.