Kopfkissen waschen

Hallo, du kannst sie bestimmt in der Waschmaschine waschen, aber wie das dann mit dem Trocknen ist, weiß ich nicht.
Bei uns in der Nähe gibt es ein Geschäft, das hat sich auf Betten und Zubehör spezialisiert.Als ich vor kurzem da war um unser Bettzeug reinigen zu lassen, fragten sie mich, ob ich das eine Kopfkissen (Daunen) gewaschen oder gereinigt haben wollte. Da es nur ein Gäste-Kopfkissen war (wird nicht oft benötigt), habe ich es nur waschen lassen (war günstiger).Es ist sehr schön geworden.
Ich würde, so aus dem Bauch heraus, die Kopfkissen im Wollprogramm mit Hygienespüler-Zusatz waschen (mit Wollwaschmittel oder Daunenpflegemittel - gibt es für Daunenjacken zu kaufen)
Ich habe allerdings für uns Bettzeug, das ich selber in der Waschmaschine waschen kann (je nach Lust und Laune - das ist prima) und danach ab in Trockner!
Viel Erfolg!
GlG Spiru