Shrimp tails in cereal?

From the New York Times: 

Cereal is a staple of the American breakfast table, consumed by millions of people every day and tied, for many, with memories of childhood. So when a story began circulating this week about a disturbing discovery in a box of Cinnamon Toast Crunch, consumers were horrified.

None more so than Jensen Karp.

On Monday morning, he ate a bowl of his favorite cinnamon sugar-striped cereal. As he began filling a second bowl, “something plopped out of the box,” he said in an interview. “I picked it up, and I was like, ‘This is clearly a shrimp tail.’”

He looked in the bag and saw what appeared to be another tail. Both were encrusted with sugar. “I get really grossed out, and I’m medicated for O.C.D., so this is a total nightmare for me,” he said.

Sounds like General Mills insist this isn't their responsibility. I bet the lot numbers have been checked and rechecked...