We just put in a pond. It is 600 gallons with a 18 inch shelf and a small 3 feet deep area. I have a yellow belly slider turtle about 5 inches long in it and several koi and surdunkin gold fish in the pond. I live in Florida. It is going to get down to 40 degrees this weekend. Should I bring my turtle inside?