First of all, his question cannot be answered, because he doesn't give us enough input.
What kind of receiver does he have??????????
1)If its an older receiver, the ONLY way to hear the new Codecs is through Analog 5.1.
2)If its a pretty new receiver(LIKE MINE) odds are his receiver can take 8 Channels of PCM sound through HDMI, and he can listen to the new Codecs through HDMI.
3)If he has a brand new receiver it might decode the new codecs, in which case he can bitstream them to the reciever.
But, ANY of the above 3 lets him listen to the new codecs, so it doesn't really matter.