Thanks! I genuinely was not aware of "salt mines" specifically, though I have come across mining references, and even made some myself, now that I think about it.