What about just staying at the airport hotel, that way they can get some extra sleep( depending on time of their flight), and they will be right there less stress. If they rent a car at the airport, then turning it in a extra day could be of some savings $, also less stress and running around on departure day.
Florida Mall has a hotel, that we have friends that have stayed at and said it was good, they enjoyed being close to the mall and restaurants the evening before departure, they turned the car in a day early and the car rental was nice enough to drop them off at Florida Mall, to save on a taxi.