I don't think this is correct. I own three different PS3s (40GB, 60GB, and an 80GB models, though they all have 320GB disks in them now) and none of them will output high resolution audio as a bitstream over HDMI. They all convert it to LPCM (at varying bitrates, depending on source, for example...