As a rule, it's a bad thing to let a worker choose his tools. He'll always go for the most expensive and for those he wished he had but never afforded. I know that from a 30 years experience in maintenance of machinery and equipment. And it's important to always keep the perspective and understand that it's important to direct resources to "support" but the most important is having enough resources directed to the core business. Which, normally is NOT IT.