According to the manual, yes it will play sound via HDMI.
Either the Receiver Switch (HDMI audio switch selector in the manual) button or the HDMI (Input mode selector in the manual) button should switch to the HDMI connection instead of the optical from the cable.
See option 2.