"I saw a margarita recipe on rec.food.cooking that made mention of
Mexican vs. key limes." The writer had it mixed up -- Mexican limes
are Key limes. They have seeds.

The lime most commonly found in the USA is the seedless Persian lime.