Need some help on this decision. I've read hundreds of posts on this site and looked over many tractors and brands. I have under an acre and currently mow it with a 42" Craftsman with a Kohler 15 HP, 10 year old tractor. I have some hills, but nothing over 15%. I have narrowed my search down...