Repair of washing machines