Many thanks jj4091. Your comments confirm what I was thinking.
I took the control panel out, and disconnected all the electrical connectors, to be sure there are no problems doing this if I buy another panel. When I put it back together, the pump now works, so I suspect there was some corrosion...