Have stripped and washed the bed linen and hoovered the mattresses. Is it necessary to wash the duvets and pillows as well? Ugh.