The larger Mule is nice, but of those two, I would go Ranger.

That being said, we bought the John Deer Gator XUV835 a little over a year ago. I have driven a ton of other brands before and since, and I have not regretted the decision.