Is it ok to put them in the dryer or do they need to be sun dried afterwards?