The replies got me wondering.
I just called the local dealerships he would have.
Estimates were ~$400, ~$450, ~$600, and ~$850. The $850 stated it included the radiator, fluid, and new clamps, I didn't ask the others if that was the case. I'm starting to think my neighbor may have been...