We've had our dunlopillo for about 4 years now and they smell 'beddy' despite having had a pillow protector and pillow case on them. How do I clean them? Can you wash them in the washing machine?