yes, jurdy is correct…
the irish channels on the uk “sky” satellites are encrpyted, so you will need an irish sky viewing card
also, and most unfortunale, the irish channels are mainly located on a frequency similer to bbc2…which in most areas of spain, even on big 2.4m dishs can be “interesting” to receive 24/7 - in my area, just south of valencia, you can get them from about 5am to 5pm…south costa balnca it may be from about 3pm to 3am ish (these are very approximate).