I suspected I knew the answer; but I went and googled gator jerky, to find out whether it's readily available in our world.
It is, of course -- though, not surprisingly, not around where I am; except by mail/internet order.
Interesting that in both worlds there it's apparently legal to sell homemade jerky off the back of a truck/boat. Or, at any rate, commonly done.