Repairs to 7-year-old leaky roof at Ga. city's library could cost $261K