蕎麦アレルギーの人へのはちみつの提供

いつもお世話になっております。

初めて蕎麦アレルギーの方を受け入れることになったのですが、皆さんの現場では蜂蜜は禁止食材としていますか？
蕎麦の花のはちみつが給食で使われることがあるかどうか分かりませんし、蕎麦アレルギーだから蕎麦の蜂蜜がアナフィラキシーを引き起こす可能性も低いと聞きますが、可能性がゼロではない限り除去した方が良いのか…と思います。ですが、他では蕎麦アレルギーへの蜂蜜禁という対応を聞いたことがありません。
ぜひ皆様の現場の対応を教えていただけますでしょうか？
よろしくお願い致します。