Back in April, I had two large oak trees removed from my yard. One of them had cracked the driveway (see photo) and it turned that the other one was rotten in the middle. I also had the stumps ground out. I now have a fine crop of mushrooms every morning. As soon as the sun gets high in the sky, they die out, leaving unsightly dead mushroom stems. I have not planted any grass yet as I am giving it the rest of the year to settle first. So, the question is, does any one have thoughts on how to get rid of the mushrooms?