I recall from our last trip that there were little 4-person cars in Key West. Has anyone had experience renting one for the day while in port? We have twin sons who will be almost 16 when we cruise over NYE. Thought it would be nice to just explore. We took the train tour last time. Any suggestions are welcome!