Hi Merlin.
The best place to start looking for a tune is JC's abc tune finder
Just type in the title at the top and the site returns the tune in as many formats as you could possibly want (except MP3)

All the best PP