It was a relatively easy fix. Removed the small access panel at the back of the washing machine after unplugging the unit. The pump is right there. Disconnected the two hoses to the pump, catching some water with towels. Removed three retaining screws, then realized I had not disconnected the belt from under the unit. Easy fix, tilted the unit and disconnected the belt. Put in the new pump , connected the hoses, then reconnected the belts. Works like new!

Wrote down model and serial number. Went to The Google to find replacement part. Among other choices, A'pplaincePartsPros.com came up. Quickly found the part. More to the point (of appreciation) is that there was a video right there on the page about how to replace this part. I hadn't tought much about it, since the lid easily came off with the pin broken. Watched the video, which was well done, and followed those steps quickly and easily. All done. The postscript is that I found the part of the pin that had broken off within the hinge part. Using "Plastic Surgery" glue, I repaired the old one. It's now available for a future similar repair. Could, perhaps, have saved the cost of the new part, but the video is what made it an easy fix. Without that, I'd have never found the missing chunk of plastic. Thanks!