Here I am wondering that while we don’t have this problem with shrimp – as they are considered allergens already – would restaurants and food handlers with shrimp on menu just blanket allergen label all food in mitigation to cover potential cross contamination?
https://www.newfoodmagazine.com/news/85125/risk-confusing-allergen-labelling/