I've run into someone who uses coral gravel in his filter to harden up our soft water. He says his plants immediately did better and that this gravel dissolves over time. Anyone have any comments on the pros and cons of this? Does coral gravel dissolve? If so, how does a Marine tank keep it's gravel? Olga in Vancouver where it's too nice to work