Didn't you all ever try the Sea Salt and Vinegar potato chips? Mmmmmmm....
They also sell Sea Salt in shakers at the grocery store.
Mind you, I'm not saying it's Reef Crystals in those two items, but there you are, for whatever it's worth.
Chips.
"Sea Salt
Other Names: Sal Del Mar, Sel De Mer, Sale Marino
Sea salt is a broad term that generally refers to unrefined salt derived directly from a living ocean or sea. It is harvested through channeling ocean water into large clay trays and allowing the sun and wind to evaporate it naturally. Manufacturers of sea salt typically do not refine sea salt as much as other kinds of salt, so it still contains traces of other minerals, including iron, magnesium, calcium, potassium, manganese, zinc and iodine. Proponents of sea salt rave about its bright, pure, clean flavor, and about the subtleties lent to it by these other trace minerals. Some of the most common sources for sea salt include the Mediterranean Sea, the North Sea, and the Atlantic Ocean (particularly in France, on the coast of Brittany). Sea salt is thought to be healthier and more flavorful that traditional table salt. Available in coarse, fine & extra fine grain size. "
Also read
this article from the Mayo Clinic.