Is it ok to dry them in the tumble dryer on a regular basis? Now the weather is warm I won't be, but wondering for the future.