Hot Springs, Arkansas, Garland County
Hot Springs is the 10th most populous city in the U.S. state of Arkansas, the county seat of Garland County, and the principal city of the Hot Springs Metropolitan Statistical Area encompassing all of Garland County.