Я совсем не доктор, но в подобных ситуациях обязательно носиком занимаемся и антигистамин. У нас зиртек, но мы его просто ведрами потребляем. Раньше старшая по пол года его глотала. Сейчас конечно нет, но у обеих при любых симптомах сначала зиртек, потом все остальное. Кстати частенько ничего уже и не надо...Здоровья Вашей девушке!