I have heard varying recommendations on what to use on the bottom of the pond. Do you all have better experiences with just leaving the liner (or gunnite or whatever), or putting down gravel, river rock, or something else? I have gravel, which worked well for a number of years, but has now caught all sorts of decomposing junk and is making it hard to maintain good water quality. 