Mud gun

A device that shoots a jet of drilling mud under high pressure into the mud pit to mix additives with the mud or to agitate the mud.