Castle Rock Springs was a resort Lake County, California built around a group of mineral springs, including one hot spring with relatively high volumes of water. Former names include Mills Hot Springs, Mills' Mineral Springs, Noble's Springs, Castle Springs, Castle Hot Springs, Verdant Vales, Camp Houdd Gibson and Houdd Gibson Camp.