This is so common, best to have spare locks and wiring harness. I have come across few of them, it seems to affects Indesit models rather than Hotpoint.
Another Indesit washer dryer (2 years old) bites the dust this afternoon (the worse one I’ve seen) and still haven’t come across Hotpoint with the same issues yet…