What size pump did you end up using.