The one thing between the carpet temperature of 57 degrees and the pool water is steel and soft top.

A good example, if you do start out at 10 degrees Centigrade at sea level, this ought to help mean a temperature of -20 degrees Centigrade at 3 000 meters.