Evidently they are in Florida long enough to establish Florida as their state of residence. I declared Florida as my residence when I lived there and for years after and until I retired from the AF. Florida has no state income tax which was a "biggie" for me.