Tenkte å vaske sommerdundyna. Det står at det er anbefalt å vaske med spesialvaskemiddel for dundyner. Er dette nødvendig?