We may have found other answers which could help you.
Click here for Washing Machine Water Leak Door Seal
Not starting until I bang door closed?
Hotpoint wma34 bearing replacement?
Door sensor Hotpoint WMXTF 742?