What has happened to the original Diamond Crystal Kosher Salt? It’s no longer in any grocery stores and sells for over $13.00 a box on Amazon. Anyone have a good substitute? The texture is what I can’t find in all the salts I’ve tried recently.