My friend told me that she had heard that the little pimentos in green olives (which we adore!) have pork/lard in them. Does anyone know if this is true? Would you know of any links we could read? We don't eat pork so we are really wondering about this. Thanks in advance!