Sim, deixei mas foi pouco tempo, até porque no horário que fui, havia um ferry antes e outro depois, portanto não havia muito tempo entre ambos para passear (talvez 1h penso). Portanto depende muito do horário do ferry. Por exemplo, se tentares apanhar o primeiro do dia, não sei se eles abrem logo a zona de estacionamento para o ferry no dia anterior. No meu caso era o 2º ou 3º ferry do dia praí, portanto não tenho essa percepção. Podes é consultar o horário no site da Jadrolinija (acho que foi nessa empresa, se bem me lembro de cabeça) e depois vês se tens tempo para algo mais. O que é porreiro é que a zona de saída dos ferrys é relativamente central, portanto se tiveres que esperar por exemplo umas 2h ou assim, ainda daria para dar uma voltinha no centro.
Acho que dá para comprar antecipadamente no site, mas eu comprei localmente porque me havia dito que mesmo em época alta, não era necessário. Até comprei no próprio dia e era época alta. Mas à segurança ...