Finally got the float switch out of the tank.
What I found was quite shocking: some type of GLUE had dripped on the upper float prior to assembly, freezing the float in the lower position permanently.
I was able to break it free with considerable force. Then I scraped off the glue, oiled the shaft and made sure the float moved up and down smoothly. Then I verified with an ohmmeter. Float down, black wires open. Float up, black wires shorted. Checked the bottom float too. Up, shorted, down, open. Satisfied that it worked, I reassembled it.
At first I heard a fuel pump running, and thought "now what?" but I looked at the bubble in the tygon tubing from the aux tank and it was not moving. I felt the aux pump and it was not vibrating, so I realized I was hearing the main pump. And no change in sound when switching from aux to main (until now, I'd hear both pumps running in aux and the sound would change when switched to run position.
So the aux pump should work when needed.
I just have to buy a new fuel gauge as that appears to be non functional despite good resistance readings from the sender.