The chilly, gloomy weather didn’t keep people out of the hot tub in the open area though.