Went to the lawn to spray spots of bermuda grass prior to reseeding, saw a patch about 10 feet square with literally thousands of little mushrooms. Different kinds. Wish I had my camera with me, this was truly a sight to see. 1) Do I want to get rid of them? 2) If so, how? 3) If not, why not? Thanx.