My DS (11) has these around his eyes - they are a marker for allergies (which he does have). Does anyone have experience of these? Do they become less prominent over the years?