WOW!, your daughter's lucky, another good reason to test RCD's/RCBO's when your away from the board.
... yes, but we encourage householders to regularly test by pressing the button!
Protek!? branded RCD, never heard of them; wonder if it was a MK or some other well known brand whether the same would have happened?
As has been said, it is a 'known', but not particularly wonderful, brand. However, as I said, it was presumably due to a manufacturing fault, which would probably not have been picked up by in-production testing, so could probably have happened with even the 'best' of brands. That device had been in-service for a number of years, and tested (by pressing the button!) regularly (at least once every 2-3 months) without there having previously been any problem.
I have a spare unused 80A 30ma Contactum branded RCD in my shed along with a 1000v IR tester, although can't see anything will happen at 1000v DC 2ma though other than possibly damage any circuitry what is inside the RCD.
I think that virtually all 'consumer' RCDs now contain electronics, and that's quite likely to be very displeased with 1000V, regardless of current. 2mA is not going to produce a significant bang, but could well kill the electronics.
In my daughter's case, of course, we were not talking of 2mA - but, rather, enough current to immediately blow an 80A cutout fuse! ... hence the very loud bang, smoke, soot etc.! IIRC, the loop impedance at the CU is around 0.25Ω (it's TN-C-S), so the fault current could have been a good few hundred amps.
Kind Regards, John