Jabsco toilet (model 37045-0012)...

problem is: water fills bowl whenever washdown pump (sal****er supply
to toilet) breaker is turned on (and therefore the pump runs all the
time). Sounds to me like the solenoid valve has gone bad. Before I dig
in to it and buy a new one, can anyone confirm or suggest another reason
for the problem?

Thanks,
Ken