Even though the terms are often used, rotary tools and machining tools aren't strictly synonymous. Milling tools is a wide term encompassing any device utilized to eliminate material during some milling operation. https://wencerl.com/