Collective wisdom needed. Would you or have you ever put your dry clean only curtains in the washing machine? They're bog standard JL ones like this: https://www.johnlewis.com/john-lewis-anyday-arlo-pair-lined-eyelet-curtains/p5151673