I don't think they were too fast to be played live on a keyboard. I feel like it coulda been either step sewuenced or live, although I don't know of many synths with strings that sound that good, maybe it came from the Triton. I doubt they hired somebody to play real strings for that track though. It could even be from a sample cd.
I do know that I was feelin that part of the song.
I would not trust the kind of midis available on the net, as they are usually ring-tone quality at best. Better off listening to the actual song. Actually, I'm looking at the credits right now, and strings were played by Charles Veal & The Southwest Chamber Orchestra. Guess that answers the original question.