My boyfriend was bitten or stung by a pink coral ( that's what he saw) 2 weeks ago during their diving activity. The area (in the legs) that was stung/bitten by coral is still very itchy. It grows like a mosquito bite, but super itchy. He tried putting it white vinegar but still no effect. I asked him to buy benadryl today. What do you think I should advise him?