Florida Family Vacation 2023 - is it worth it?