Yep, definitely RCD protected - 80A RCD with 30MA stamped on it. I'm absolutely positive that the RCD has tripped out on previous occasions of bulb blowing - I used to be area manager at a well known hire shop so I know about RCD protection, however, Im no electrician...
I had been thinking...