Many thanks, Malcolm and Jon. I wasn't aware of this site. The Miller's Reel was indeed the tune I was looking for, and now I'm playing it on the fiddle to my heart's content! I've heard it played by a friend as The Miller's Hornpipe (he tells me that it's also known as The Dawn).