And to zoom in on it a little more. There are five lakes around Hot Springs, this being the third largest.