Looking to get a new mower. Have narrowed it down between the JD 7H17 and the JD 667A. (I am not considering other brands because JD is here in town and they are giving me great price along with great service and parts). My question is which would you want as your primary mower for small to medium size residentials? Things to consider: 1.) THe 667 will have a 54" and the 7H17 will have a 48." 2.) the 7H17 is about $1500 cheaper. Here are my questions 1) Which is more manueverable? 2) Which would be least likely to leave ruts? 3) Is the 667A that much more productive than the 7H17? THanks for any input!