In case you'd like to have an alternative camp site.
Babcock crossing is down the road from Antelope lake. It's a decent sized group site. Last time I camped there (a few years ago now) we had four families there and room for more. It was also free and near a creek.
Google map directions
I didn't check it out this time. In fact I just remembered it was there.
Same creek, just farther upstream