At 10 gallons per minute, that's still just 2 minutes pumping time. (23 gallons)
Edit: I checked again, he pumps for 2.5 minutes and gets exactly 23 gallons. So I guess the pump isn't as fast as Elon says on stage. But it still surprised me because, well, that's about twice as long as what I'm used to :)