My son is five years old and he has nose problems since he was young. in a recent visit to a children ENT, he was tested for allergy. ENT confirmed that he is allergic to house dust mites and we were given some guides on how to reduce the mites. does anyone has any experience to share on what are the effectives way?