We had enjoyed the pool for many years, but the time came when repairs needed to be made and no one was swimming in it any more.