OK, so worn brushes could cause this fault and kill the whole machine?
Based on your experience, which do you think is more likely; a PCB fault or worn brushes?
Given that the RCD for the ring main was tripped too, I'd suspect a fault on the PCB.... but that's me speaking from the...