What if they needed to be washed?