Been looking into LS420HE.
I have a JD4100H (TractorData.com John Deere 4100 tractor information) that specs at 16HP I think. Other than issues I new going into it (bought used from rental place), and my own self inflicted issues, it's been solid.
I run 5' finish mower, 4' rotary cutter, 5'...