Have just brought a large thomas tank pool from the elc for my sons birthday. Would take hours to inflate by puff alone! Have just been looking in argos and they have a choice of foot pump, hand pump and a small electric pump (this requires 4 large batteries) which would be best? I'm an inflating virgin so please excuse me if this is obvious! would the electric pump really be the better choice? thankyou