Even though the terms are often applied, rotary tools and machining tools aren't strictly synonymous. Milling tools is a wide term encompassing various tool employed to eliminate material during some milling process. https://wencerl.com/