No ... just make sure the 401K administrator has your FL address on file and knows that you are FL residents when you take the distribution.
