Thanks Dave
No-the pump was ok.
The house RCD tripped and I just thought the pump would have been knackered, so I got another one.
It never occurred to me that it could actually only be the board and not the pump and/or switch…!
I was trying to avoid the expense of a board replacement, but I guess that’s probably inevitable now 🙁