Most of the radiator shops in North Dallas/Richardson have closed, Doug. The one I used for years was on Greenville Ave in Richardson and the owner ended up using the sale of his property to fund his retirement. He had nearly an acre and the city bought it for future expansion of the municipal building as I recall. I could tell you more, but I'd have to discuss some politics. The other one I'd used in Garland closed about 10 years ago. The apartment building which sits where it used to be looks like it was built to be a slum from the start.
I don't know about the shop downtown, so I couldn't say.
I ended up buying an aluminum radiator (Chinese) on Amazon for $129 delivered. Had to send the first one back...had been welded slightly crooked...but the next one was ok and it cools like a champ. Not like original but at this point in life, neither am I. Good luck.
