Update: Aquatic Rentals was fine. We tried to book over the internet, but were unsuccessful, although that was probably our fault. There seems to be a service charge for advance booking that one does not pay at the kiosk.

There is a sign on the kiosk that says to check in at least 45 minutes before departure. There is another sign that says tickets are sold up to 30 minutes before departure. And people were boarding even after scheduled departure. They have to gather passport information from every passenger, which takes time.