It occurred to me the other day that I have never heard of finds of coins in old mines or quarries. I can understand why they might be rare, since miners and quarrymen might not carry much cash around when working - why would they need it? But you might think very occasionally something might turn up. Do you know of any examples? Not including obvious accidental losses of modern coinage by modern explorers, of course.