Regarding my last question, doesn't look like even the most expensive receivers, although they have 2HDMI outputs, will allow for different inputs at the same time. It appears you can output the same signal in some cases, if I read the manuals correctly.

Looks like one of These from monoprice might fit the bill!

Interesting you can't buy a $2000+ receiver that can do what this unit achieves with rave reviews.

M80s VP180 4xM22ow 4xM3ic EP600 2xEP350
AnthemAVM60 Outlaw7700 EmoA500 Epson5040UB FluanceRT85