I had actually bought a "red pump" like Lynn suggested, but two of them weigh like 10 lbs.  I was hoping 2 facet cube pumps would work for me.  a bosch 68758 also may work, but I can't find all the specs for it.[pressure?, volume?]

so is the redundancy overkill?