Добрый день! была информация, что проводился ремонт большого бассейна в начале лета.Ремонт окончен?