A five-foot juvenile, former pet was an imminent threat?
Since it was killed, why not retrieve and grill the thing? (The meat makes delicious barbecue, and the ODWC could've sold plates to help fund . . . something.)
You are about 120,000 times more likely to die in the wreckage of your vehicle than you are in the jaws of a 'gator. If you don't even think twice about jumping into your ride to drive to the fishing hole, does getting all worked up over the thought of a reptile make much sense?