Last night I was round at a friend's, and they wanted to listen to BBC
Radio 3, on their portable DAB. However it did not show up on the list
of channels, although the other BBC channels were working. I tried
rescanning it, but R3 is still missing.

This is in Leicester, presumably from the same Tx that I reported
recently wasn't providing a usable signal at my location (just tried
my DAB for the first time in weeks - BBC is now back on, including
R3  :o).

So what could be causing the above problem?