The only way you will be able to utilize the codecs in your receiver is to have a player that will bitstream the audio out. Otherwise the player will decode the audio internally and output it as LPCM. But pretty much all players will at least decode internally, I don't think there are currently too many players out that will send the audio via bitstream. But since you have the receiver that can handle whatever, you will be good regardless of what player you use. I've also been reading about numerous problems that player is having playing certain discs over at the blu-ray.com forums. So you may want to consider a different player, check out the Panasonic BD30