Drilling mud , often simply called bore mud , is a essential part of any boring operation . This sophisticated combination provides a multitude of purposes, including removing rock from the interior of the hole , reducing the head, and stabilizing the hole integrity. A thorough understanding of boring slurry properties and their effect on drilling