We've got a 400 gallon pond with some goldfish and koi in it; it's
been going for about 3 years.

This afternoon we noticed some of our goldfish had a number of small
white bumps on their gills, as if they had white sand sprinkled
there.

Is this a disease I should do something about, or is it a new fish
fashion?

--RG, San Francisco