¿Dónde se obtiene el sello del pasaporte irlandés cuando se entra desde Irlanda del Norte?

Me voy con un amigo americano de Belfast a Dublín en autobús. A pesar de la falta de control fronterizo en la frontera terrestre debido al acuerdo de Zona de Viaje Común, los nacionales de países no comunitarios o de la AELC deben ser procesados y sellados en Irlanda, incluso cuando entran desde el Reino Unido - la sección de inmigración de la Gardai (Policía irlandesa) me ha dicho esto constantemente por correo electrónico y por teléfono

Envié un e-mail a la Gardai preguntando por entrar en autobús desde Belfast, y dijeron que deberíamos ir a la estación de la Garda en Dundalk para procesar la entrada.

Sin embargo, los autobuses de Belfast-Dublín no paran en Dundalk, sino que circulan sin parar entre Newry (Reino Unido) y Dublín.

¿Cuál es el procedimiento adecuado en este caso?

ACTUALIZACIÓN ahora recibimos una respuesta aconsejándonos no tomar un autobús directo Belfast-Dublín, sino hacer una parada en Dundalk o entrar en Irlanda a través de los puertos marítimos de Dublín o Rosslare. Dijeron que si entramos a través de un puerto marítimo, deberíamos decirle al conductor del autobús que le pida a la Gardai que suba a bordo para procesar a un ciudadano no perteneciente al EEE si no lo hacen automáticamente.