Yep, we first had them on a charcuterie plate at a high end Italian place. I tracked some down locally at either Whole Food or Fresh Market. There are several brands.
From what I've been reading, there are several different names that pepper falls under. More than likely, different regions call them different things. But the Biquinho pepper is supposedly very hot. So apparently there are different versions and different ranges of heat for those peppers, which may be why they have several different names. The Chupetinho peppers, that Badjak posted about, originate from Brazil and come in a few different colors.I wonder if that is just another name for the biquinho peppers that I had.