Нос лечите, от отека можно и нужно антигистамин. Робитуссин - это слабое отхаркивающее и противоотечное, вряд ли он тут какое-то особое действие окажет. Капайте в нос, давайте антигистамин, гвайфенезин в Робитуссине можно заменить на любую другую микстуру от кашля.