Coral gravel

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?

in Vancouver where it's too nice to work