那个掘洞人带着全套挖矿的工具吗？