I'm not sure if it's a traditional tune, I think it's Phil's own, based on variations around the melody of the song. But if you or anyone else knows differently, I'll be interested to know what it is too.