They could have used the electric pump as a starting pump then when the car is running flip it off. Saves the starter from excessive cranking. I have heard of this before.
AtomicWedgie is done posting now because I am tired.:bootysha: Sorry I couldn't help myself.