I wonder if they will receive the same support on this forum as those pharmacists did.
The joke of this is there are dozens (hundreds?) of products with pork in them in any grocery store. So if this is really a problem for somebody, they are going to be spending a lot of time just figuring out what has pork and what doesn't.