I mow about 2 acres and we've been using an old Craftsman GT6000. It's a great old mower with a Kohler twin. But it only has a 44 inch cut and it's getting old. BTW, we had a Cub Cadet 1042 which was a sweet mower to drive, but it started falling apart as soon as we got it home. It was junk.
Anyway, I have about 4k to spend, and I was looking at the Bad Boys. I noticed some have the Kohler Courage engine which is what the CC had. It was junk. Some have the Kawasaki which I assume is a better engine. I also found Toros which have Kawasakis.