I obtained a replacement door lock, Part No 131763256. It appears that this part is not correct, as it has female connectors for the wiring
The OEM part in the washer is Bitron 131269400. This part is very different and has no connectors, only male spade terminals as shown in the picture...