I've been researching a small mower for my Kubota b7100. I need to mow in tight places and on less than totally smooth ground. I may hit a few rocks. What I've learned is that many of the small ones (42" is what I'm thinking) lack stump jumper protection. I'm asking, Is the stump jumper an important part of a rotary cutter/bush hog? Any recommendations?