I have a pair of hose made of 80% wool and 20% polyamide

How should I wash them?

Cold water on gentle cycle with Woolite?