That sure was a predecessor to the Jake's that I operated on the grounds crew back in the mid to late 1990's. Jacobsen Tri-King, the 3-winged rough mower (turf cat I think) which resembles your pics, and the fairway mowers. Can't remember the exact models since it has been over ten years, but they were some good equipment to operate. Just hated backlashing the reels on the fairway mowers from time to time. Time consuming, but when done right, that bent grass was beautiful to hit a golf ball off of. Nice pics! I'll try and dig up some of those old pics soon.