I got given a used pillow but I'm not sure how to clean it. I've read that they can't be washed in the washing machine, and that you'd have to soak it and press out the water with your hands, and to do this over several soaks. Is there a more efficient way to do this without all this palaver?