Record button (red dot in middle) has ceased to function - programme name does not become underlined in red - on BBC 1 only. All other channels OK. First noticed 5/6/11. Red dot button worked until a few days ago.
Can still record BBC 1 using timer - but this is less convenient.
Anything I can do to fix this problem?

Peter Chronicle., June 2011