Brazilian chili peppers at the steak houses?!

Does anyone know what kind of chilies those are that are served at those all you can eat Brazilian steak houses? They are small sized red chilies and are really spicy! They are really good - I saw some of them come in a bottle at one restaurant. Another restaurant just had a gigantic bowl of them and I ate a ton of them. The workers thought I was nuts, but I love those things. Anyone know what kind those are, and where I can get them (in the US)? Thanks!