Does anybody know where to purchase a Red Lime tree?

A friend in Naples Florida had this huge tree full of what he called "red limes". They were greenish-orange on the outside but the fruit was red. Does anybody have any idea as to what varieties these are? Not as tart as a lime and had a bit of orange taste but very nice.