JD Gravely or Hustler...

Based on my budget of $4000 or less, and the dealers I've spoken with, I'm looking at one of the following models:

JD z435 with 48" deck with B&S Cyclone
JD z445 with 48" deck and Kawisaki
Hustler Raptor SD with 48" deck and Kohler
Gravely ZT XL with 42" or 52" deck and Kohler

Which of these will give the best cut quality? Which will last the longest? Which will be the most dependable?

Is there another brand that I should consider? I need to finance, so used is kind of out of the question. I can't go any higher on the budget either.

Thanks!

JD, Gravely or Hustler...