He moved to Texas from Florida, didn’t he?
Yep. He’s a Texan now.
Yes, he did. Some years back, as I recall.