Of course, these are not pretzels, but seem to be an extruded, baked wheat flour product, usually served in its bag, splashed heavily with bottled salsa picante. I will find out the real name on my next visit.