microdrill

noun1

1. •
   A microscopic drill (boring tool).

   • The skin over the skull was incised, and a small hole was made in the skull above the target using a microdrill. — 2015