Anyone remember BBQ alligator potato chips?

When I was a kid, probably about 15 years ago I remember these BBQ chips that had a picture of a cartoon alligator on the bag. I want to know if anyone remembers them. What they were called, who made them, if they are still around or being sold somewhere, or a picture of them.