George, as previously said it's by far the easiest option. Each time I have done this journey there has been a member of staff waiting with a list of all the international passengers names. They wait at the bottom of the staircase, and funnel you through a side door straight onto the bus. It's very efficient and you are at the international terminal within minutes where you enter by a door which is right next to the luggage carousel.