[1254] Der Hohlbohrer, des -s, plur. ut nom. sing. ein Bohrer verschiedener Holzarbeiter, besonders der Drechsler, Körper inwendig hohl auszubohren.
Meyers-1905: Hohlbohrer
Pierer-1857: Hohlbohrer