Swimmers enjoying the outdoor pool's lazy river.