3 ms·

At least take it down to the wash-dry-fold. At $1-$1.50/pound, it might be cheaper in time and exasperation.