A city spokesman tells us the gym roof is now done, and they’re just finishing repairs in the pool bathrooms.