I'm taking my family to Miami (South Beach hotel) after Christmas. I used to know the place but haven't been there in 15 years. Need a recommendation for a Cuban Restaurant. And is there a casino nearby (by cab) where the old man can take a day off from the sun and sweat the roll of dice?