Graham,
I am afraid that a midifile of "The cat" does not exist, because it would take too much of an accomplished player to record it and -besides- that's not the kind of song that can lure the average audience.
Thinking better of it, on the 9000 pro there is another style which would be perfect to play "The cat" and "Baby elephant walk" as well (again, I cannot remember the name, but I will check later at home).