But it rained recently so the hot tub was filled to the brim and slightly cooler than the air outside. Ah well, guess the complex management gets lax on its pool/hot tub maintenance in winter.
Here’s the evidence of my attempt:
https://imgur.com/a/3MLz2