Went down to see Chick Corea this evening. It was pretty good. The last song he played, the encore, I'm guessing it was "Spain", since people seemed to be cheering in recognition.
Yes, judging from some random MIDI I found on the internet, it was almost certainly "Spain". Nice tune!