Eric, thanks for that part number. I've been looking for it for several hours.
We found the solenoid (thanks!) and took off the wire to it. Pressing the stop button sends 24 volts to the solenoid, so it must be the solenoid. We also confirmed there is fuel to the fuel pump. (Thanks to Lee, one the current marina residents).
I'll order the part and hopefully that will be the solution.