i'm interested in getting the ferry from Barcelona to Ibiza in May next year. We'll be staying in San Antonio when we arrive. I can see on Google maps and on some ferry websites that the route exists, but i can't seem to find any actual ferries that do it. does it still operate? Otherwise I'll sail into Ibiza town instead, but would prefer San Antonio if at all possible!