Notes concerning “Ice vests”

• Ice pants 2017-04-04 (updated 2019-01-22) (17 minutes)
• Household thermal stores 2018-12-02 (updated 2018-08-19) (27 minutes)
• Methods of pumping ice-vest coolant silently 2019-09-28 (12 minutes)