I’ve been diving in both of those springs back in 1974 or 1975 but only went to the mouth of the caves.
Same here, between 1976 and 1980. We called it spring or ledge diving, but never went so far you could not see light to the exit. Was fun coming up in air pockets in the "ceiling" of the cave entrance and having brief conversations...