Leslie,
We have the blue tailed ones here as well. If the body has stripes they are called five lined skinks. The juveniles have the blue tail and lose the coloring as adults and one of the common names other than the above is the blue tailed skink.
I hope you enjoy your trip to South Florida. We may go the week after the Mecca, but not certain.