I remember seeing them, but never went there. My childhood best friend's grandmother (from Germany) made the best soft pretzels when we were kids! But back then, nacho cheese sauce wasn't a thing, so I didn't get to fully appreciate them.I don't know if anyone remembers Hot Sam's Pretzels, but the Mrs. just made something that sent me back.