A tip:
If you can't find a midi, a good tool is to slow down the speed with windows media player (right click, enhancements, play speed settings). High-quality music sounds better slowed down, in contrast to 8-bit slowed down which sounds horrible. And if you got a keyboard nearby it shouldn't be that difficult.
I'm thinking about arranging Skylanders Giants soundtracks, which there doesn't seem to be any midis for either, and windows media player slowdown will probably be my tool for arranging them.