Anyone planning a Blue Springs trip in mid-October?

https://www.floridastateparks.org/park/Blue-Spring
If all goes according to plans, October 14-17th will be my last tent camping, family outing at Blue Spring. Any TDers going to be nearby so my wife can see what I'm all excited about?
If all goes according to plans, October 14-17th will be my last tent camping, family outing at Blue Spring. Any TDers going to be nearby so my wife can see what I'm all excited about?