Moving License from Puerto Rico to Texas

[ensuritygroup]

I have a few agents that are moving from Puerto Rico to Texas .... does anyone know where to start the process of non-resident in Texas.

NIPR AND SIRCON do not have much information

Any help will be appreciated