Let me say that again with emphasis:
I didn't even realize those holes were there, or I would have checked this and cleaned it out before our laundry room got saturated.
So anyway, there you have a more painless type of appliance resolution than we recently experienced with our microwave. Moral of the story: If your fancy front-loader starts leaking, check this area first, before calling a repair company. Better still, check it as a form of preventative maintenance and avoid the issue altogether.