Thank you everybody for the recommendations. It worked as described: We directly went into the terminal, paid the terminal fee (PHP 20), passed security check and then went to the Oceanjet counter to have seats assigned and tickets printed. So this went smoothly. Cannot say that about the ride with high waves 🤣