For what it's worth I work at a very large company (different industry) and there has been no mention of having to get vaxed this entire time. Nobody brings it up at all.