That’s what I figured. I have not, but read a little about it last night. I’ll do it when I get home today. If I remember correctly, turn the key on and see if it doesn’t run at all, or runs more than 20 seconds - if either of those it’s no good? Could just be the pump motor?