Yeah that's definitely the issue with the shellfish. I'm just more surprised the allergen is sufficiently different from the smell that they are disconnected in peanuts.
The vast majority of allergens, on the other hand, are proteins, with the very smallest proteins being on the order of 1 kiloDalton. Large proteins get up into hundreds to thousands of kDa.
That does sound like something that would be a real issue, but only in close proximity