Hi David,
You are correct. This show was done by AVI. In almost everything they do, they edit the music in some way, usually by shortening it.
I didn't know specificaly what they did with the music, but thanks for the hint. I will update the text file and show information file that comes with that show.
Best regards,
William Benner