You are correct. I did this last week. It’s garor smashin season. Gotta harvest the gators to grill up some gator tail for Thanksgiving and preserve the rest in the garage to last through the winter and warn off the backyard gators.