Alright. In the owner's manual, check out the section on "Settings for HDMI (HDMI menu)" (that's on page 57 if I downloaded the same version of the manual that you have).
Under the "HDMI Audio" section, you'd want to set the audio up as "TV + AMP", meaning that the audio will be processed by the receiver to output through it's speakers, plus it will pass the audio out to the TV.
If that doesn't work for you, we'll look further.