So, the pool is not going to be maintained any longer, until a new building is built near it?

Is that maybe 1-2 years.

It is used a lot by spouses, children, etc.

Would like to pass this on, if that is your point.