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.
Just like those pharmacists.