Going through customs at Dublin Airport

I am traveling to Ireland in Sept and flying into Dublin Airport and going to catch the AirCoach to Belfast. I would like to purchase my AirCoach ticket online and I need to specify a particular time. Does anyone have a ball park figure on how long it might take me to go through customs at the airport?