Does anyone know if the filter in a henry is washable or do I need to buy a new one? Mine is smelling horrible and I'm trying to save money, so washing it would help me save a bit. TIA