I think you're right, there is likely an Irish version of hogwarts. I base this more on the Irish having their own quidditch team than anything else.