I know someone who puts these in the washing machine if they get old and grubby. Is this a thing? I find it weird.