That's what the phone book says, all right. You could dial 00 44 (0)28, but then you'll be billed at the international instead of the national rate. Maybe check it out with Eircom @ 1901 — if you have the patience?
[Edit: Eircom's online directory now shows 048 302 + local number...]