If you can get hold of Mike Donald's albums "Songs of the Broad Acres" and "North by North-East" there is a song which refers to lead mining in Arkengarthdale. Unfortunately I can't remember which album it's on.