I just saw a package of 80/20 ground beef at Kroger. The label says it has "added flavorings" in it. What kind of added flavorings can they add to ground beef? Not a single "butcher" could tell me what it is. They did say that there was no "pink slime" in it, though.