I think it's slightly misleading to call it a tin mine. In it's most successful period it produced prodigeous amounts of copper.
In fact from 1832-1895 it was the greatest producer of copper in the area. 😉
The past is a foreign country: they do things differently there.