Well, is my face red. It's working now. Might have been a loose cable? I'll go stand in the corner for a while.
Yesterday I discovered a complete lack of audio output from this player. Two days previously it worked fine. Nothing was changed. It's connected via HDMI to a Denon AVR-890 and thence to a Samsung LN40B6000VF. Cable sound works fine. Any suggestions?