Yes, John, everything went through that RCD. That's the way the electrician did it when we moved into the house, and we didn't know any better. But mice? With 2 cats, we've never had a problem.
To update: the new RCD tripped at 1930h, 4 hours after it was fitted. Despair. So it was back to...