David Combs wrote:
Very large tree got sick and had to come down.

Then the usual "grinding-down of the stump". (I then paid more and
got it ground down even more, to maybe 1 foot beneath the surface.)

Around the (alive) tree was a rock-edged circle, radius maybe 6 feet,
ground within raised up maybe 6 inches.

Anyway, after the tree was taken down and stump ground way down, we
turned that rock-edged circle into a garden, lots of different plants,
flowers, etc.

----

Lots of rain in the last two or three weeks. So of course some
mushrooms appear here and there in the lawn. SMALL mushrooms.

But, in that rock-edged garden, good lord!, LOTS of mushrooms, MONSTER
mushrooms. Each being between maybe 8 inches to ONE FOOT across (ie
diameter).


To date, I have not even touched one of them, they're so gross, much
less tried to dig one up.

------ MY QUESTION:

How do I get rid of these things?


You could just leave them. They won't be there long and their presence adds
a quaintness and unique feature to your lawn.

They might even attract fairies and leprechauns.