Грязево'й насо'с, устаревшее название бурового насоса .