The previous owners of my house helpfully left a tree stump in the middle of the lawn. It was cut off at ground level so pokes through the grass, and is about 9 inches in diameter. I was hoping to get rid of it so I can lay new turf down. I spent sunday afternoon digging around it to a depth of about 2 feet, but it seems pretty well anchored into the ground. Is it worth me trying to dig it up (I guess I'll have to chop through the roots with an axe or something like that), or is this a futile task? Would I be better off chopping off a couple of inches from the top and re-burying it and hoping the turf grows over it? I reckon it's an apple tree btw (judging by the leaf on a sucker it produced, so a bit of guesswork involved there). Any advice welcome, as always...