Well it's been well over a month and the Washer has been fine.
I do firmly believe the problem with the RCD tripping was not down to, or not entirely down to, the washing machine.
I am very suspicious of a small fan heater I plugged in occasionally in the garage.
Anyway, I have not...