This whole conversation around high/low boost caused me to talk to Dukes
about the pump operation... Not per-se from which boost mode to use, but
more to find out what would happen if both were powered at the same time.

Answer was simple and as expect.  "Don't do that"!  Actually, what they said
was "a quick blip probably didn't damage the pump, but don't power both
boost inputs at the same time, that *will* damage the pump".

So, plan those switches accordingly!

Alan