I have been thinking of replacing my Lawn Boy Platinum series aluminum deck 10765 (personal pace with Briggs motor) with a Honda HRX217HYA - hydrostatic drive model. We have bermuda grass and cut low. I like the honda as it cuts down to 3/4". I mostly mulch. How is the cruise control compare to personal pace? I like how the Honda has more power for the thick bermuda grass. What should I know about the Honda vs the Lawn Boy?