How severe is the allergy, can trace amounts of shellfish cause a problem? A friend of ours is allergic to shrimp if he eats shrimp, not that severe where trace amounts cause a reaction.
As a PP said, they will probably cook his food first or separately.