I am sorry to here of you loosing your big fish.. Maybe some better luck next time. As for those gators..?? I do not think I would like fishing with them watching me all the time.. Have you ever accidently bumped one with your boat? I do not think that would be much fun to have happen. Some reason those sets of jaws would be keeping me on the nervous side of things..
Congrats on your other 2 fish though..