Finally got a huge stump ground down, what a relief. It produced over 60 cu ft of mulch. As I was raking the area level, I noticed pockets of more mulch. Do I need to dig all that mulch out of there if I want grass to grow, or can I cover it over with soil.