Pine nuts

[weebarra]

Last night I made a pesto lasagne topped with pine nuts. Around ten mins after eating it, DS1 (6) came up in a blotchy, red, itchy rash, mainly over his trunk.
He has had pine nuts before but in much smaller quantities than yesterday. He is allergic to penicillin but nothing else that I know of. Everything else in the lasagne is stuff he's had lots of before.
Assuming it is an allergy, should I take him to the GP or just avoid pine nuts?

GP! Why take the risk?

GP.

7yo DS is severely allergic to pine nuts. All his other nut allergies have almost faded away, but pine nuts haven't. With luck they will refer him for skin prick testing (hospital paediatric unit) and provide epi-pens if he has a severe allergy.

Just wanted to point out that pine nuts are not in fact nuts at all, they are seeds. It's still possible to be allergic to them but most people allergic to nuts can still eat pine nuts.