Actually, I've lurked for a while in these boards (and others, eg AVS Forums) and noted that the Denon 3805/3806 seems to be the receiver mentioned most. It actually was my first thought as I was ordering the speakers, and I haven't ruled it out. There's a Tweeter in town that carries it and the Ya-mama-hah! 2600/4600 models as well as Onkyo's 803.
I'll be running DirecTV HD/DVR, which has HDMI, so the switching on the 3806 seems a plus, I guess. I'm also shopping for a universal DVD player, and was going to ask about those in another thread.
Thanks for your replies - now where are the Arcam/Marantz users?