Product review (5 stars): Back in business in under an hour, plus shipping time.
Works as expected, so far. It was easy to install, following online demo/tutorial on Youtube. This is my first time doing something quite like this but cost a fraction of calling someone out or buying a new machine, which we are hoping to put off for 6 months or so when we remodel the kitchen. Definitely something pretty much anyone with some comfort with the fuse box (turn off power to your dishwasher first, folks) and a Phillips-head screwdriver can do. You'll also need a flathead screwdriver, an adjustable wrench or a wrench set to remove the hexagonal nut connecting water to your machine, a pair of basic pliers to grip the fastener holding one of the pipes onto the pump, and some old towels/rags and a basin to catch any water that comes out as you disconnect everything. Be careful to keep track as you disconnect wires - I had to label one because live and neutral were the same color. I used some masking tape to indicating which wires connected.

The dishwasher is back in business and running like it's brand new. What more can you ask from a pump that I hope never to see again now that it's installed?