Hi Does anybody know what new hd sound formats the ps3 can encode via the hdmi cable, is it all of the new ones bar the dts master audio? Thanks.