Your probably right, by the sound of things, there is no code, which would lead me to believe that the pump went south.
I've also seen where the Person who wired the pump ignored the fact that there are two different sized terminals on the pump, one 1/4" and one 3/16". Most guys use 1/4" on...