I am looking for a midi version of Shifting Sand Land from Mario 64 and the Game Over music from Ocarina of Time.

I looked on VG Games midi page but found nothing.

I know such a file may exist somewhere on the web. It would be nice if someone knew where to find them.