Hmm, not obvious in the Denon 3310 manual. Do any of you Denon owners know if the OSD is available via HDMI?