Phil A,
The Onkyo Pro 885 and the Integra 9.8 are the same pre/pros. The front door and some case cosmetics are the only real difference. I have the 885 on order.
The players supporting the new audio codecs through HDMI are numerous, but confusing. Some cam support them via bitstream output (i.e you need a pre/pro or receiver to decode), some do the decoding internally (not necessarily all the codecs though) and some do both. LEading contenders right now are the Samsung BDp-1400 and the Toshiba A35, both accomplishing the dual role of bitstream and internal decoding, then sending through HDMI.
I also like the 885/9.8 feature that accepts DSD across HDMI (like an Oppo 980H) and does decoding, channel trims, bass management, etc at the processor. A great inexpensive way (street prices of $1500 for processor, $160 for Oppo) to handle multichannel DSD (and PCM).