exzcuse my ignorance.. what's a RCD?
I've seen a line filter puff the magic smoke right in front of me, for no apparent reason other than bad timing.
It may have just been a coincidence. Once the line filter is replaced, varistor etc just check your voltages on the PSU before proceeding.
Did your RCD trip by any chance?