Product review (5 stars): Worked great
Bought and installed this in my mom's washer.  We did several loads now, and it works great.  If you follow a youtube video, it's easy to replace, took me about 15 minutes.  You need a pair of pliers (to move 2 fastening clamps), a wrench (not sure of the size though) to remove the front, bottom cover, and a flathead screwdriver (to pry the rubber loose on the base to the left).  We were lucky to save some money on this part, and considerably on the labor costs (it would have been near 200, apparently).

As a suggestion to anyone with this washer, try once or twice a year to take off the bottom washer cover, and loosen the front opening of this unit (it's tight because of a rubber seal) to clean out any debris once in a while, so the pump doesn't jam over time.  This keeps the plastic on the pump wheel from wear-and-tear.

Try to also avoid washing stuff that will shed anything, like larger fibers (some pillows do this, with loose strings on the edge as a design), so it doesn't clog the outlet.  If string wraps around the pump wheel (inside this unit, actually), it causes it to wear faster.  Long hair can do this too, so if you feel motivated, you can loosen the pump part on this unit as it's aging (that's the beige-colored part, careful not to break the lock on the plastic, look carefully on the inner edge, you'll find where it locks, before you attempt to twist off the pump).  If you can clean this once in a while too, you'll find it'll last longer.  This is obviously more info than I needed to share, but I thought maybe someone out there in the same predicament with this pump (as we had with the old one) might find the info useful.  I'll be sure to check and clean this new one often to make sure it lasts.  :)

Blessings.