Those are the ones. Check the relevant Marantz thread on AVSforum. Of course, one can use the Marantz with a player that does the decoding so that it gets only PCM. Still, there are limits on the sample rate for using Audyssey, even with PCM.
Kal
Kal