I ordered the door striker and door lock switch because the broken piece was in the switch.
Easy repair thanks to the videos. What we didn't realize is that the door lock switch also controls the spin cycles. We have been complaining about the spin cycles taking longer. A wash cycle that should last 51 minutes would take 90 minutes. That seems to be fixed now also.