where do they sell mining tools