So North Carolina is thinking of a gator season of some sort. Is gator hunting a big economic boon in GA? Does it bring in lots of revenue?