15 year old, feels well, no temp, good appetite, no other symptoms at all really but he's had a barking cough for a week now. Would you see a doctor?