[1223] Der Brunnenbohrer, des -s, plur. ut nom. sing. ein Bohrer der Brunnengräber, den Sand oder die Erde damit heraus zu heben.
Pierer-1857: Brunnenbohrer