music performed by
music engineer
music mixer (as Mike Ross)
music mixer
music editor
musician (uncredited)