Do you put them in the washing machine or get them dry cleaned? I'm considering how much cheaper it would be to wash them in my machine!