Anyone ever hear of a file with a .vcd extension?

[joeAgain------]

I know VCD format video files have a .mpg extension(or possibly .dat).

what kind of computer files would have a .vcd extension?

anybody every see that before?
(a friend was send a disk full of them....could it be a virus, or something?)