Onde obter o carimbo do passaporte irlandês ao entrar da Irlanda do Norte?

Vou com um amigo americano de Belfast a Dublin de ônibus. Apesar da falta de controle de fronteira na fronteira terrestre devido ao acordo Common Travel Area, os cidadãos não pertencentes à UE / EFTA devem ser processados e carimbados na Irlanda mesmo quando entram no Reino Unido - a seção de Imigração da Gardai (Polícia Irlandesa). tem consistentemente me dito isso por e-mail e no telefone

Enviei um e-mail para o Gardai perguntando sobre entrar em ônibus de Belfast, e eles disseram que deveríamos ir para a Estação de Garda em Dundalk para o processamento de entrada.

No entanto, os ônibus Belfast-Dublin não param em Dundalk, mas correm sem escalas entre Newry (Reino Unido) e Dublin.

Qual é o procedimento adequado neste caso?

UPDATE : agora temos uma resposta nos aconselhando a não pegar um ônibus direto Belfast-Dublin, mas ou fazer uma escala em Dundalk ou entrar na Irlanda através dos portos marítimos de Dublin ou Rosslare. Eles disseram que, se entrassem por um porto marítimo, deveríamos dizer ao motorista do ônibus que pedisse à Gardai que viesse a bordo para processar um cidadão que não faz parte do EEE se não o fizesse automaticamente.