I've never been gator hunting and I don't believe that I have ever been around one that is dead.
But, based on the lengths of some the gators you folks have killed - if those had been on the "TV Show", they'd weighed easily 1,000 lbs.
BTW - congratulations to all, I love the pictures.
They would have said ours was 1500 they always talked up a 11-12’ as 900-1000#s.