il tool?
il mio tool per estrarre gli inserti filettati sono una vite della misura giusta, un paio di pinze e la pistola termica, non mi pare prorpio il caso di buttare soldi in "tools", e se proprio voglio l'inserto come nuovo, sempre pistola termica e spazzola di metallo per grattare i residui di plastica...
Altro che "tool"... 😄