The Sony STR-DG800 only switches HDMI. The new STR-DG710, 810, 910 offer lossless decoding and 1080p via HDMI, but lack preouts making them not possibilities for this situation.
The STR-DG1000 fits the profile as well as the new Yamaha RX-V661 and RX-V861. The RX-V661 is the successor to the very popular RX-V659. The RX-V661 offers uncompressed 8 channel PCM decoding, Simplay certification (helps guarantee compatibility with other HDMI devices), preouts, and a sturdy amplifier until the Behringer amplifiers are purchased. The RX-V661 falls into the $400-500 range.
Onkyo's TX-SR674 has dropped in price and could be considered a good alternative to the Yamaha, but I would still prefer the Yamaha because it is so feature laden.
Pioneer Elite, Marantz, Denon all have alternatives, but most likely not in the same price bracket.