A variety of mineral is called Hot Springs diamond.