It’s been a Texas car all along, so I doubt it has seen temps below the teens. I’m not sure how to check the ownership chain.
I know how cold it gets in the dfw area, it gets cold enough there to do the damage. Also, sometimes it is not the freeze, sometimes electrolysis will create a pinhole, just saying, check it all out before spending money. If it is a head gasket, you should be able to tell by looking at gasket when you pull the head. I have been working on all types of machines and engines for the last 50 years and trouble shooting is very valuable. Just when you think you know it all, some new bug comes up and bites you in the but that you were not expecting.