Figuring out some numbers for a mini pump