My wife and I recently took down a tree in our backyard in an area that is mostly moist all year round and has no direct sunlight. We have since put lots of gravel over the area. Although the area is covered, we are getting many mushrooms growing in the area of the stump. We have been diligent in removing them and we have sprayed the area multiple times but the mushrooms keep growing back. We are worried as we believe the mushrooms might be poisonous and our kids play in that area at times.
We were wondering how to attack this problem. Currently we plan to remove the gravel and put down soil and flatten it out, then put down a drain-able tarp and them some flagstones.
Does this sound like a good idea and will it work?