gas distribution pump