In desperation, and with the clock ticking down to the must-see Reds v Crusaders game, I gambled on running the 'factory reset' function, then reinstalling all the channels.
Result: success!
Might be a useful tip for anyone else who finds themselves with this problem.
Cheers