Replacing the leaky washer pump was trickier than was shown in the repair video. The pump was rusted onto the shaft and took quite a bit of energy to break loose. I had to scrape a lot of rust off the shaft in order to get the new pump to slide on. I guess it had been leaking much longer than I suspected. After that the pump installed as advertised and thanks to the instruction video the rest went back together very easily.
Now I am a hero and an appliance repairman.