I didn't see if they tested it while still in the car as they couldn't look at it straight away so I left it with them and when I returned it had been replaced.
Everything else seems to work except the cigarette lighter but I had never used that so it may never have worked.
I looked through the manual and cannot find which fuse controls the low rad dash light so I guess the best thing to do today is pull all the fuses and check.