食物アレルギー専門の先生お願いします

10歳未満/男性 - 2013/08/23

そばアレルギーがある小学一年生です。

そばに関係ある物は除去しています。クラスは4　lgE120

そば枕でも咳が止まらなくなりました。
コナヒョウダニもアレルギーとしてあります。

蜂蜜なんですが、アレルギーが出る場合もあるとききました。
そば蜂蜜は当然かと思いますが、普通の蜂蜜にもたまに混ざるとのことでした。

原材料に蜂蜜を使ったカレーを食べてて症状が出たことはありませんが、蜂蜜にそば花粉が混ざれば発症する可能性が出ますよね？
食べるのはやめた方が良いのでしょうか？

症状は初めて食べたときに、じんましんと呼吸が苦しくなった事があります。
その後食べてないので、どの程度症状が出るのかは把握出来てません。