Please let us know if you come across a red-eared slider turtle in the Elite Desert Springs neighborhood.  It is about 6 inches long.  Our boys are very sad that he is lost.  Thanks a lot!