To bag or to mulch your grass clippings??