Have 30 Seconds to Mars ever played in Northern Ireland?

I'm going to my first proper Mars gig next month in Belfast (I seen
them last year at Oxegen) and I'm wondering whether they have ever
played up North before? I know they've played down South a few times
but I'm curious to know this?

Please refrain from judging how much of a fan I am because I don't
know this. Other than that, thank you in advance :)