For anyone that might have read my post and been wondering themselves as well, I found the
Sony STRDG820. This is what I am going to purchase before Christmas. Seems to do everything I want and will support my HD DVD and BD players just fine over HDMI, with my built-in XM. Not a bad price point either.