UPDATE:
Took mine in this morning at 10:00 AM for a two hour solenoid valve replacement on the jack that won't stay down, even overnight. Will call when ready, only two hours but probably better not wait. Six and 15 after the hour in the PM and still have not heard from them.
Sure glad I didn't wait!
L. G.
P.S. That lightning story is scary. There is a whole package of electronics in a big plexiglass box (with flashing lights even) on the back of the pump, does look to be well sealed with silicone gaskets, but I would like to be sitting before they quote a cost to replace after a lightning strike.