For what it's worth I've read mushrooms aren't anything to be worried about. Means you have good soil. They won't spread into a huge problem, I get them every once in a while, mulch them up with the lawnmower and I might only see them once or twice a year.