The turbo on my JD 3720 compact tractor was not much, if any, larger than that one. As for the running hot, I cannot help you. You might want as a resource to call Johnnie Shubert, Inc. in Newton, NC (I cannot recall their number right now). The area code is 828. Mark Shubert, Johnnie's son, now owns the dealership. They sell a ton of mowers and if I recall are one of the leading Gravely dealers in the USA, if not the leading dealer in sales. They sell almost exclusively to commercial mowers and have likely seen it all. They might have some insight as to the reason for the "over"heating issue. If Mark does not know, he could likely connect you with someone at corporate who could offer you some help. The Shuberts are good people and I think would try to help you resolve this if they could--even if you don't live there.
John M