Do scuba divers (or maybe even swimmers) get kidney stones? I'm thinking not, because the "stones" are barely precipitated, and so dissolve under even a little

Do scuba divers (or maybe even swimmers) get kidney stones? I'm thinking not, because the "stones" are barely precipitated, and so dissolve under even a little extra water pressure (which is why sonic pressure waves dissolve them (not crush.)