While it's not the song in question, here's a snippet of Ocean I recorded that's played in the park. If you go to the right (or possibly the left) side of the turnstiles, some speaker poles play a version of Ocean different than the soundtrack. I actually recorded this from outside the park after IOA closed for the day. I also have all three soundtracks.
Snippet found here:
http://www.vimeo.com/9651902
I really want to try to start capturing this kind of audio from IOA, as the park has such a beautiful soundtrack.