I think mushrooms are a type of fungus. I know various types of fungus can be a problem for lawns, and I know that fungicides designed specifically for lawns are available. That might be an option to check out.