Thanks.

I haven't been able to find a shop around here that actually repairs radiators. The best they'll do is an outright replacement.

I'll look into GR.

Jim