I don't know about a MIDI but a recording is on Mike Seeger's "Southern Banjo Songs" CD. If you'd like me to e-mail an abbreviated and somewhat lo-fi MP3 of it (enough to get the tune), send me a personal message.