If anybody was looking for a less MIDI-ey version of the trailer music to use anywhere in their edit, Baltic House Orchestra did a version that seems to have been genuinely done by an, uh… Orchestra, so it might fit better.
That’s not an orchestra. It’s just different instrumentation plug-ins than what Kim used.