do you have a link to it?
If you're talking about the final track, the sped up with bitcrush version, I made it myself, and no I've since changed hard drives unfortunately. For the midi I'm sure you can find it just by looking up radiohead midis. I think I also messed with the notes a little though so it might sounds different. sorry