Several years ago I had a tree removed from the middle of a lawn, and the root was ‘ground down’ with a mechanical device. Ever since, when it’s wet, we get small dark brown mushrooms growing there. Any ideas of how to permanently get rid of them ?