Even though the terms are often applied, rotary tools and machining tools aren't exactly synonymous. Milling tools is a broad designation encompassing all instrument used to eliminate material during some milling https://wencerl.com/