Yup.
I read online that car radiator replacement is considerd to be a two hour job (for a professional.) So that means that the $750 labor charge I'm facing is ridiculous.
HOWEVER, that's for a car. The van's radiator might be a little more difficult. It's definitely tight under that hood.
Anyway, what's done is done. I told the wife to go ahead, especially since the mechanic she found is just down the road from her office and she can get it done without my having to take any time off work. Mechanics are expensive, but so am I.