Has anyone washed it rather than the recommended dry cleaning? Only trouble I could foresee is the stripes running.