Washing cords

Getting back into playing my pipes after a few years of a layoff but have noticed my cords are looking a bit dirty.

Has anyone successfully washed a set of cords? And if so any tips / tricks. Cheers!