At the dock
Or you can print them yourself
At the pier
At the entrance dock. There will be people directing. They have a book with all reservations. They will give a band depending on which package you purchased. Make sure you get the correct one.
Thanks! Your answer is awaiting moderation.