There is also Bracken Cave, which I believe is different from the one you are referring to (but I could be wrong) in San Antonio, TX. Same thing, up to 20 millions bats make it home for roosting and raising their young. I’m going there this September to watch them emerge for their nightly hunting!!!