小麦粉アレルギーの調味料について

卵、小麦粉アレルギーの子が今度入園します。
調味料も完全除去になってますが米味噌、豆みそ、米酢は原材料みてるといけると思うのですが医師の指示書には酢、みそ、醤油も禁止と書いてあります。
園は指示書とおりの一点張りで詳細をしろうともせず。家族も市販のケチャップ使ってます、マヨドレ使ってます、離乳食の味噌粉末使ってます(穀物酢入ってる可能性ありますよね？粉末味噌なら大丈夫の意味も…)と曖昧。
調味料まで制限のアレルギーなのかも正直疑問ですが(数値3レベル)、他の園ではどうされてますか？