One tune collection with a tune named
The Nine Pint Coggie

Also known as The 9 Pint Coggie, The Nine Pint Coggle, The Nine Point Coggie.