Mr Happy,
There is a song to the same tune listed near the start of the thread, and also a MIDI, which could be turned into dots.
The tune itself seems quite simple, maybe someone would like to write down the abc?