Det går båt mellan Miami och Key West, trevligare än buss.