I thought I'd missed it - turned over to see the last couple of seconds of them at Castaway Key...
... but then I remembered that channel surfing on Sky Digital once while bored (as you do!), I came across BBC Northern Ireland (somewhere in the 950's I think) and they do shows at different times to the rest of the country. And sure enough, they were showing Holiday half an hour later than everyone else, so I got to catch the whole thing after all!