Honestly, no. I have mentioned it to my doctor, but for something that occurred once every 2-4 years from the ages of 9 to 22 (Oh, crap, I guess it’s been almost 20 years since the last flair up), they viewed it as a low priority when I got health insurance and got over my fear of asking for medical help in my early 30’s. (Cost reasons, not doctor phobia.)

Which I get - “Hey doc, I have an allergy to something - I don’t know what it is and it hasn’t occurred in 10 years. What do we do about it?” They gave me the advice I was already following - which, 10 years ago, was to take Benadryl and record the ingredients for everything I ate, so we could try to figure it out. I will slip a line into the document I keep for my yearlies to ask after what is an appropriate replacement for Benadryl, however.
Although, with my current knowledge and economic level, I’d probably just rush to the ER if anything above my chest swelled up. My insurance will blunt the cost just fine and I’ve got too much going on to choke to death.