Thought I'd share this find: The whole deal is on Newegg for $110. Check out that TINY pump! Looks to be maybe 3cm in diameter. I might grab one just to dig into it.