Thanks, I can get one of those for 99p, but will probably wait until the replacement fails and then try a repair. When it failed it was plugged into the power socket, but the bulb had blown, I unscrewed the bulb and there was a little spark when I did this - but i suppose it could have failed when the bulb blew, I'll never know. There is no sign of any damage on the board, I assume it is a failure of one of the more delicate components.
I was wondering what the big copper coil and the large yellow cubic component were for on the older board - and that quality looking shiny blue capacitor? The components on the replacement board all look cheap in comparison, but the replacement has been working finr for over a week. (Note this touch sensor has 3 levels of brightness)