אלרגיה לפטריות תוצרת חוץ?

בני בן 6. בריא.
אכל מגיל צעיר פטריות שגדלות בארץ והכל היה תקין.
לפני כחצי שנה אכל באוסטריה פיצה עם פטריות.לאחר כחצי שעה שילשל מאוד וכל הגוף שלו הפך לחם ומגרד. לאחר מספר שעות הכל עבר.
בערב פסח בארץ התופעות חזרו על עצמן, כולל מספר הקאות. נזכרנו שאכל צלי עם פטריות. בדיקת הפטריות העלתה שהן תוצרת הולנד.

האם תתכן אלרגיה לפטריות תוצרת חוץ בלבד?
האם יש טעם ללכת לאלרגולוג? (הרי הוא לא מחזיק טסט לפטריות מחו"ל, ולפטריות בארץ הוא לא אלרגי).
האם ניתן להמשיך לתת לו לאכול פטריות תוצרת הארץ?
תודה.