Once he's a resident here, his Florida card no longer works. I believe he has to jump through all the same hoops as first time people do.