You know the old  joke - Why does it take 3 men to change a light bulb?   ... well here are  3 men changing a pump!!  And, guess what, it did work at the end so success story all round!