I just came back from a trip to Chicago where I ate quite of few Chicago Style hot dogs. I want to replicate the experience at home. The one ingredient that I'm wondering about are the little chili peppers. They look like gherkins. Do these have a name? Do you have suggestions for which would come closest to matching the flavour?