my 6yr old boy has a deep barking cough for the past 3 days is there something over the counter that I can give him or should we take him in to see the doctor?

Optional Information:
Male , Age: 6

Already Tried:
Robitussin cough medicine