I recommend a Bluesound Node 2i or later (£200 - £250) to feed it optical. It can learn any remote and has loads or presets, so it means you can still easily flick between radio stations. I got a learning remote and eventually got it to learn a few (not all) of the F80 commands, which means I still survive off one remote.

I got my parents Bluesound Pulse Minis, because of the feature set. Initially I thought they sounded alright but I couldn’t adjust them to sound up to a suitable standard for me (they don’t care), so I am half looking for old F80/M80s to replace them with, fed by a Node.

F80