The Doc was underestimating my drive time to Miami. With no traffic, It's between 8 and 9 hours from home. I know I can find Cuban food closer than that. I stopped at some roadside shack between here and Gainesville once although I don't think I could find it again. Best ropa vieja ever.