As mentioned, Don would be the guy to talk to.
The other thing to look at is could you get by with a rotary gang mower vs. reel. Definitely better cut with the reel, but there's the matter of keeping the reels and bedknives sharp, and reel replacements are expensive.
I know Don was mowing fairways with pull behind rotaries on warm season grass, wondering if cool season would work as well.
What kind of height-of-cut you looking for? What grass types?