I'm sorry to hear they had to put the gator down. We invade their territory then kill them because of some dumb criminal goes into his habitat and he gets attacked. It's not the gator's fault...