See my sibling comment - it’s entirely possible for fumes to enter their work via plumbing.

So I’d really downgrade that “probably” - ambient outdoor exposure maybe, but the facts as presented better fits an indoor exposure during the day.