Summer is here with Texas heat and time at the beach. Thousands of people flock to the 367 miles of coastline. Many are unaware that five of the seven sea turtles known globally reside in the Gulf. These are leatherback, hawksbill, green, loggerhead and Kemp’s ridley. Another fact many Texans are not likely to know is Kemp’s ridley is the official Texas state sea turtle. This designation is not because the Kemp’s ridley population is abundant.