资讯

Repairs could cost up to $550,000, and replacing the pool entirely would exceed $1 million, council members reported.