So I woke up this morning to the dreaded SONOS bong, as BBC Radio 4 through SONOS Radio was not working. I changed it to TuneIn and it played. Later BBC Radio 6 suffered the same problem, and was cured in the same way.
Is this a widespread problem? Is there a solution?