Thanks, Jon. Found 'em. Yeah, the owner(?) is Phil (haven't found last name). It's 40 miles from me (I'm in Prosper), but looks like it may be my best bet.
What happened to all the old-school shops that would repair vs replace? Used to be easy to find radiator shops that would do the service. I guess most of us retired, more or less. OK, off my rant.
Thanks!
Doug