Even without the manual, you can check the player's configuration menu and see what it says about audio output via HDMI, it should have some options such as bitstream/pcm, etc... and that should tell you if it will allow multichannel (DD, DTS) via HDMI.