I am unable to cut our grass these days. Our yard crew use commercial grade self propelled then blow the grass into piles then bagged. Having grass at the edge would be a bad idea due to the yard crew. There would surely be clipping in the pond. So that is the end of that! Thanks for your insight and thanks to everyone who replied.