I have heard that tune somewhere, I dont know where though??
At first I thought "elevator music" but then I realized "What Child is this"(It's 500 years old, so there's probably plenty of places you could have heard it. I think the first place I ever heard it was a maze, but it's probably been more places than most people alive. Oh - in case you didn't realise - the song is called Greensleeves.)
Focusedzone