What is mounted on the side of the gulf pump?