I mean they themselfs could benifit the grow grow but personally i wouldnt leave them due to some mushrooms being toxic. Do you know the species of mushrooms they are? If not i would just out them and use some other organic fertilizers. The risk of other bad fungi gives me the hebie jeebies.