Hey Archie
I've only been to Big Joshua creek a few times. It is a really fine creek. I've never seen or heard of any wild populations of gators in this area. I know people in Junction who have ranches on the LLano river and they have never mentioned any gators.
As you know this place is super recreational if there were gators I can't believe they could hide for long. D.C.