After a couple of decades I finally forgot to take my flashlight (and knife) out of my pockets. They, therefore, made it into the washing machine.
Glad to say my Wurkkos TS10 survived as if I was never put through the ordeal.
On a related note, his ever present buddy, SpiderCo Chaparral lightweight (CTS-XHP) only had some water spots on its blade - not a spec of rust!