Planning to remove several trees up to about 8" and wondering if I should dig around them and pull them over to get the stumps out or grind the stumps. Haven't used a stump grinder so don't know how much time/effort they take. I have some blocks and 1/2" cable to pull them over but nothing big...