We study the timing-of-extraction problem facing a decentralized mine owner when extraction entails environmental damage. As expected, when the environmental damage from mining is known, the socially optimal timing will depend on the magnitude of the damage relative to these costs in the rest of...