xracr96 - to answer your question they don’t have any limit that I’m aware of, as a matter fact it gets 100 times worse during major holiday weekends. Ginnie Springs is privately owned and therefore does not have the same guidelines as the state owned Springs. The best time to go there as a diver is in the fall and winter months. Blue grotto, Paradise Springs and Devils Den are exclusively for divers so the crowds are nowhere near as bad. Paradise Springs is probably the best one for the least crowds but because of the depth it is more of an advanced dive.