Грязевой насос

Определение «Грязевой насос» по БСЭ:
Грязевой насос - устаревшее название бурового насоса.