Panameño pepper

I just got back from Costa Rica and I asked for some hot sauce at this restaurant. They brought out some very pale green, home made hot sauce that was fantastic. I asked what was in it and all they could tell me was "panameno chile".

Has anyone here ever heard of a pepper called panameno? I tried googling it and got very conflicting results.
 
Back
Top