Is anyone using shredders for mowing? Saw a video of Kuhn shredders used in park lawn maintenance, and they looked awesome! Considering trading my LP RCR1872. Any Thoughts?