First I want to say it was easy to find parts using the machine's model number.
Replacing the door strike was easy ten minutes. But in my case the switch/latch had to be removed to extract the broken bit of door strike.
Fortunately, these guys had a video on removing the latch. I also found that removing the top from the washer (two screws in back) made it easier to reach down and reconnect plugs to the latch. Extracting the broken bit of door strike is difficult but worth the attempt since a new latch is expensive.