There are some other threads mentioning various tunes.
These seem to be the main ones
thread.cfm?threadid=13779
thread.cfm?threadid=22926
thread.cfm?threadid=45565
thread.cfm?threadid=79346
-
A YouTube playlist with a few versions
https://www.youtube.com/playlist?list=PLM6cU8b4WUORusdTUcxO7TOkAAYHJB5-B