Thanks, jmcc and blacknight. I've now succeeded in registering my .ie domain name (assuming there are no further problems).

__________________
idubliner.com, dubliner.me, mayorofdublin.com, dublinpostcodes.com, dublinersdiary.com, dublincredit.com