I was wondering if anyone has seen "Freddy" the big gator that lived in the Riley Grove pond on the Palmer course.We would see him swimming or sunning himself on the sandbar as we drove our golf cart down the buena vista trail.Is he still around?