Found them, Fireworks Outro_32.avi and Stars32.avi.
I'm afraid you seem to be s.o.l. Johnny. They're AVIs encoded with ISME, a 4CC code that's listed as "Intel Next Generation Video".
From what I can find, that's a very old encoder which was used by Roxio back in versions 6 and 7, and after an extensive search on the 'net I can't find a codec or filter to properly decode them. It doesn't help that Intel seems to call everything it does "next generation".

Some of the codecs I have will render these AVIs in black and white after a struggle, but if you can't find an ISME decoder you're not going to get them going in glorious color.
I've done what I can. It's over to you now, sorry.
Brendon
I guess this is part of the price of progress