I don't want to steer this thread away from the original question, but, when using crushed coral or coral sand, is it necessary to leech before using? If so, what are the methods. Also, where does one find gypsum? I see "decorative rock" that has the appearance of gypsum, but it may just be quartz.
Not to raise pH, per se, but to add calcium.