In practice, the allergy menu is given out regardless of actual allergy. I ask for a regular menu every time I’m seated, but because there is a red allergy stamp on the ticket, I get the allergy menu. It is in fact ridiculous, because my allergen is all over the menu.
I know to speak to a chef...