The swimming pool was cold, no longer heated after the winter heating was turned off due to budget cuts. So he did some high-intensity exercises for about an hour to warm up before spending fifteen minutes (about a quarter of his usual swimming time) in the cold water.
The initial shock felt more like pain than cold, but it subsided after a few laps. It felt rewarding afterwards, especially with the hot spring soaking.
He then took a cold-water shower while waiting for the hot water to gradually arrive, experiencing similar cycles of sensations.
