 that's what it makes me think of. But listen, I'm a big fan of Costco. I love what they do there and a lot of the brands. Now, I can't remember, the Costco hot dogs, are those actually Kirkland brand hot dogs?