Not that they have told anyone, mind you! Even the 8am regulars weren't aware of this development.
Now, finally, those of who work in the centre of town have a realistic chance of a relaxing swim without frantically having to rush around in the morning.
Spread the word - they wont'!