Samsung Front Loader Leaking - Worth Repairing?

Samsung WF210 ANW/XAA, high efficiency, 3.5 gal, 5 years old (bought Feb 2012), used less than twice monthly and not abused. For the past month, it has a small leak (30 cc?) coming from the left rear. I have concrete floors sloping to a drain, meaning about three feet of water exposure, so damage to the floor is not an issue.

It's NOT subject to Samsung's recall.

Apparently, the most common cause of leaks is the water drain pump, located in the left rear.

I haven't diagnosed the leak. What should I do, should I decide to engage is this adventure?

A new OEM water pump costs only about $19 on Amazon, but the DIY video to replace it is about 17 minutes long vs. Whirlpool-made top loader water pump videos of less than 5 minutes, meaning it will probably take me a couple of hours to do.

I'm awaiting deliver of a new top-loader, but the top loader won't be able to handle comforters and blankets.

I have basement space to keep the Samsung and craigslist prices for similar washers are abysmal.

If I do only occasional loads (once every few months of comforters and blankets), do I really need to change the water drain pump? What's the worse that will happen?

If I change the water pump, how likely is this to recur, ie how long do Samsung water pumps last?

Thanks

via Samsung Front Loader Leaking - Worth Repairing?
by giants1