Late reply, it's been a bit busy. I'll need at DAC for the Pi anyway, so I can run it without the TV on and connect it to the amp. Looking at the spec of the TV, one of the HDMI sockets has ARC (Audio Return Channel) which sounds like it does exactly what I need. Otherwise, yes, a separate optical to RCA DAC will be the next step.