I have a large yard with several mature tree. In the fall I usually cut and pick up the leaves with a Trac vac. Would it be better for the grass to mow them with mulch blades and not pick them up. As long as there is not too thick of a layer. Don't have any neighbors close by so where they blow is not an issue.