It sounded like the original music from the film, starting with the main theme by Harold Faltermeyer, then Danger Zone by Kenny Loggins.
Strange, I could have sworn I had a CD of the film music - not the sort of thing I would have thought my son had borrowed!
BAe hijacked the music to go with the video on their Paris Airshow stand shortly after the film came out - we got lots of complaints from all the stands within a hundred yards, something to do with the 100 watt speakers we were using!
GG