Product review (5 stars): No repairman needed.
It solved the problem. The old one was cracked and there was a slow leak when the washer emptied. Repairman told me it would be over $200 for the part and the service to repair it. We bought the part and installed it and all is well.