[1146] Der Röhrenbohrer, des -s, plur. ut nom. sing. ein Bohrer, womit die Wasserröhren ausgebohret werden.
Pierer-1857: Röhrenbohrer