I don't think that was Riverdance, they only used Bill Whelan's music. Perhaps their split off, Lord of the Dance?