tools used for mining 20514