Hot Springs.