Replaced the pump.
Two hose clamps, two plugs and 3 pairs of screws.
Take off the dust cover, unplug the electrics, unbolt the mount, remove the hoses, unscrew the mount from the bottom of the old pump. Put the new pump in by reversing the order.
You may need to change the orientation of the pump inlet. There is a tab on the side of the impeller housing. You gently pry that up (not off) with a screwdriver and you can twist off the housing.
This is actually the second time I have replaced this pump for the same problem. Out of curiosity, i took the leaking pump apart to see if there was a seal that could be replaced and found that the impeller itself had cracked and was fouled with string.
Getting the hose clamp back on the hose that comes down from the wash tub can be annoying as it is cramped and it is hard to see if you have it on properly. If it does leak, let the machine go through a drain cycle before taking the hose off. You can guess why I am warning you. There was more water in there than expected...