Former swimming pool, now an outdoor event space.