@JohnBrady If you find a good recipe, do tell! I imagine it would be easy to whip up at home, though of course the pub atmosphere does add to the flavor.

What I didn’t mention in the post which you, @ReaderJohn and @joshuapsteele may appreciate, is that for the first time since we’ve been going there we stumbled upon a group of about a dozen people of all ages (~30s-70s) with a bunch of instruments, one of which was a hammered dulcimer, playing mostly traditional Irish tunes but also an occasional dulcimer solo. That boxty never tasted better.