... the main sump pump is not technically DEAD. It just doesn't trigger all the time. I can nudge it into triggering, and it will continue working. For some not predictable number of cycles. Then it stops and I have to go down and nudge it again,
On the positive side, it is at least draining the basement now.