Ashamed to say it's the first time I've ever had Dot's pretzels. Holy Sh#+ are they good. Is it red pepper and vinegar?