Update: I was able to crawl under the car and just as I thought: pump does NOT get voltage. No readouts from any leads. Plopped a battery under the car, touched the pump poles and, voila, as the French would say, pump started humming.
So, now it is back to getting the wiring diagram out and tracing it back. Relay is next stop.
And Tony is correct: 3.5 pump has 3 hoses on top side, electrical leads on the side. Pictured 4.5 pump from Al is different (but does not mean it would not work). I'll post picture later.
I'm not sure I can get it fixed before going on vacation, but repair cost just dropped significantly
I may still look for a spare pump. It's an easy thing to change at the side of the road but can leave you completely stranded.
Bert