It seems that my early PS3 is capable of outputting a decoded digital stream from SACDs.

All I need is a HDMI Audio Splitter (£65-£100) and change some setting in the PS3 menu.

Needless to say I will be trying this asap and reporting back.