That's it, basically! It got put in with the main load of 40° washing and has come out a couple of sizes smaller than when it went in. Is there anything that can be done to save it, or does it need to go to the big laundry basket in the sky? [sad]