As an aside I'd like to add that IMHO (based on fact, not sales blurb) that, in using rock salt and 'sea salt' in preference to much less expensive common or garden 'table' salt, you are being conned. Both sea salt and rock salt are over 99% sodium chloride (NaCl ... 'salt'), and the rest is...