Key Lime Pie?

The big category 5 Florida Keys hurricane of 1935, seventy years ago, wiped out the Key Lime tree on the Florida Keys. So how is it that multitudes of restaurants and grocery stores still claim to provide 'Key Lime Pie' for your enjoyment?

The lime fruit is similar to the lemon. The lime is greenish rather than yellow, and milder than the lemon. There are two types of lime. The Persian lime which originated in Persia and other middle east countries, and the Caribbean lime which grew all over the Caribbean, including the Florida Keys. The Key Lime is smaller, milder, and has more seeds than the Persian Lime.

Now think along with me. A recipe for Key Lime pie would specify lime juice. And since the title of the recipe is Key Lime pie it would be understood that the intent would be to use Key Limes. What else would a recipe originating in the Florida Keys and named Key Lime pie intend than the use of lime fruit grown in the Florida Keys? There can be no other meaning!

But the Key Lime is practically extinct. There is not enough land on the Florida Keys to grow even a small fraction of the lime juice for all of the 'Key Lime Pies' that we see in restaurants and grocery stores. So some one is lying to you.

UPDATE: Today I saw some Key Lime juice in the grocery store, a cup or less for about $3.50. It looked to be genuine. There was a recipe for Key Lime Pie on the label. The juice looked much like lemon juice, not the food dye green of lime pie you often see. So maybe Key Lime Pie is still possible, but not all the great amount seen in restaurants and grocery stores.