I ended up buying the Denon AVR-888. I was thinking about getting one of the Onkyos but decided it wasn't worth getting an AVR with internal DTS-HD and Dolby TrueHD decoding since the PS3 decodes those formats internally.
So far I am very pleased with its performance, especially hearing uncompressed, and the next gen audio formats on Blu-ray titles. I have three weeks to return it if I find something else I would prefer but so far I must say I am very impressed.
I am open to recommendations and suggestions from everyone. Let me know if you think I took a proper route.