Old Key Lime Pie Shop on US1

Back in the 60-80s, there was a small shack south of Cutler Ridge that sold key lime pies. Every day the store only stayed open until that days pies were sold out. They were marketed as shelf safe without refrigeration. It was a unique recipe, and my understanding is the owner died without passing on the recipe. Does anyone remember that store, and make have some ideas about the recipe? My mom and I figured that the recipe might include vegetable shortening as a base, but we were never certain of the recipe.