Yeah that’s what I’ve heard. I grew up less than an hour from there (Gilchrist County). Haven’t been back in years but had some good times as a kid at Silver Springs and the attached water park. Also used to go to the Ocala Flea Market all the time if that even still exists