LOL, at the excitement of the OP. I do have to say though, he's right. I can't believe Heinz hasn't brought this out earlier. We also don't have a what-a-burger here in So.Cal. so I've never seen these ketchup packets before.
They have had these in a few different fast food joints, wendy's and arby's to be exact around here about a year or so ago, but haven't seen them since. Don't think they were as popular as they hoped, or perhaps the cost played a bigger role in not keeping them.