Product review (5 stars): Drain Pump Works Great!
I paid almost $10 extra to get a genuine OEM part.  Even so, it was reasonably priced and works great!  Had to remove the top, control panel, and front panel of washer.  However, part itself was easy to install with good lighting. I saved a lot by doing it myself by watching a YouTube video.