Was that music actually in the game playing on a DOS PC, or added separately to the video? If the former, it sure doesn't sound like the usual game music of tha

Was that music actually in the game playing on a DOS PC, or added separately to the video? If the former, it sure doesn't sound like the usual game music of that time playing on an Adlib or Sound Blaster. Maybe it was using a higher-end sound card of that time, like a Roland MT-32.