Tools don't take money out of the economy at all. They take out nstars, keeping the price high. One could hypothetically argue that if everyone used this, NStars would be cheaper, allowing more players to earn more tools and more money, enabling those players to buy and sell more, promoting a healthier economy.
