Looking for Specific Pickled Hot Peppers...

[dafrabbit]

Hi, I recently had an amazing falafel wrap in Providence (East Side Pockets) and really liked the pickled hot peppers that they put in it. They were chopped up, a yellow/green-ish color, sweet/sour/spicy, and very crisp and crunchy (unlike say, the whole yellow hot peppers that are usually found in salads). Does anyone know what these might be called and where I might find them? I bought a bottle of "Peppericini" and they were definitely not it....