We may have found other answers which could help you.
Click here for Washing Machine Door Lock Pump
Twin Tub leaking?
Hotpoint WD865A stopped mid wash. 8pin chip U2 blown its to?
Door sensor Hotpoint WMXTF 742?