I try to replace pumps with the same one. Holes and hoses lineup. No need to make a bigger project out of a pump swap.
It’s probably the micro switch. Available on Amazon. If the pump is easy to take out and reinstall it’s worth a try. But usually they are in a bad location in which case just...