Fuel Pump - end of story

[Steve Sherman]

Thanks to all who sent suggestions...

Finally got the new fuel pump in and it solved the problem (BTW turns
out I did have the right replacement, and it just has a + terminal that
is bigger in diameter).

FWIW,  the failure was quite different than others reported here.  No
noise, no slow onset of problems.  The only symptoms were an occassional
missing that 5 mins later led to the engine not running or starting.
Even at the end, no unusual noises.  Just low pressure.

Steve