In the spirit of reducing waste, I was just wondering if anyone has ever washed their detachable mop head in the washing machine? Apart from being a bit pongy it works fine. It's one of those vileda microfiber ones if that makes any difference?