I mined copper there back in the mid 70`s. mines supplied lots of familes, witha job and was good back then. Whats happend the the old #9 shaft. is it gonna be a tourist mine?