As long as your flight is not too late you should have no problem. Allow an hour or so to clear immigration, customs and change some currency. If you don't have an arrangement for the ride downtown head straight to the Manuel Tienda Leon booth; it should be well under an hour for the trip to Buquebus.