Bigger than a football field, the mineral hot springs pool has been Glenwood Springs' claim to fame since the late 1800s, when the town was dubbed ''the spa of the Rockies.''