My yard has a family of shrooms that keep coming up. We've been relatively wet this summer. Grass hasn't been brown since first of July. I usually pluck them at the dirt and try not to shake them apart on the lawn. Haven't bothered digging them. I'm curious what the pros would use to eradicate them.