What other treatment would you give him, other than oral antihistamines? I think that sounds like it's doing a good job, so far.