We have a large root running through our lawn, about 12ft long that sticks out about 3-5 inches. It’s becoming difficult to mow over but we’re mostly concerned about the water line coming in from the city. The tree roots broke the line several years back. We dug out that root and repaired the line, but that was a much smaller root. Should we dig the root out or would a stump grinder possibly work? Any suggestions would be appreciated.