You made the right call on this one. Lots of times the things you are comparing are very close or even down to a couple subjective things. This is not one of those.
When I owned the Classen I ran it over my yard for a couple years. This year I ran the Toro, pulled a much deeper plug and yielded much healthier turf. Speed and depth of plug make the Exmark / Toro the right call.