Ich sehe als einzige Chance, die Sache zu minimieren:
- Rindenmulch abtragen und entsorgen
- Oberfläche gut trocknen lassen (sofern es das Wetter zuläßt)
- ggf. frischen Rindenmulch aufbringen und hoffen, daß nicht zu viele Sporen im Boden sind und das Theater von vorne beginnt.
Wenn dann wieder ein Pilz auftaucht: mit der Schaufel den Pilz möglichst in einem Stück abnehmen und entsorgen.
Eventuell könnte es sein, daß man den Pilz eindämmen kann, indem man den PH-Wert des Bodens bzw. der Oberfläche hebt oder senkt. Du könntest es z.B. mit Kalken versuchen. Bin mir aber nicht sicher, ob sowas wirklich gut hilft.