I'm posting this in case it helps anyone. Friend's symptoms were headache, runny nose, sore throat, congested face, not sleeping, but crucially, no raised temperature. He phoned a doctor friend, who asked him a few questions and suggested that he might have hay fever. After taking antihistamine tablets two nights running he is sleeping well and his symptoms have gone.