Returning again to the original topic of the thread, I can report
that the BBC have confirmed that "there was a problem with some of
the coders on Radio 3 but we believe that all is now fixed".

Patrick Wallace
------------------------------------------------------------------