Witout a pic its difficult but it sounds like what is called a Crocodile Skink or Crocodile lizard in the the trade. The genus is Tribilonotus and there are several species. He did NOT catch it in Fl. as they are commonlly imported from Indonesia....TC