When was this around? Was it in colour or black and white? I'm trying to find it for my Dad, he tells me it used to play out with a "great piece of music". I think they were puppets. Unfortunately, I can't find any reference to it anywhere.
Your posting prompted me to answer your question in full, and post something to You Tube. Your Dad will be in for a real treat... the theme for 'Sean the Leprechaun' will surely take him to a far, far away place.
Best of wishes, and glad to have been able to help.