rock drill lubricant - high-quality oil formulated to meet the special demands of rock drills and other pneumatic tools. Such a lubricant must have exceptional extreme pressure properties (see EP additive) to lubricate under the high-impact conditions of rock drill operation. The lubricant must also resist displacement by the moisture that condenses out of the compressed air and must protect against rust and corrosion.