The repair was made more complicated by assuming it was the pump connector. Therefore more was disassembled than needed. But as soon as I saw the hole in the dishwasher sump, I ordered the new sump and followed the very nice video on replacing it. The actual replacement was relatively easy. After reassembly, the dishwasher worked well. Thanks.