I think that is what I'm going to do.

The PS3 appears to do the decode so I'm leaning toward that. Plus it has a few exclusive games that look interesting so that is a bonus.

On the receiver side I'm leaning toward Denon since the 3000 series of receivers have an option to disable DRC when downmixing channels with no center.