Original Message:
both the new and old pool will be available to use in November 2023 until 2025 when the old main pool will be renovated . (by Greg W.):
both the new and old pool will be available to use in November 2023 until 2025 when the old main pool will be renovated .