Brit here. I had no idea about the rock formations under the Irish sea. None whatsoever. I don’t think it’s on the GCSE geography syllabus!

Estimating by the next reply you got, maybe they’re being sarcastic on a long timescale.

Jesus Christ, everyone should know it especially if they’re flying there, to the island known as Ireland. And yes all the locals would.