If HKS and Anna flew into Florida, wouldn't they have a rental car? Do they have GPS?
Yes they do. I rented one last year.
The casino has limo/town car service, which HK$ could have used. The services are often comped.