Now I think I am wrong. This is what comes from posting and going by memory. I would have sworn on a stack of bibles that the tune Johnny plays is The Devil's Dream, mixed with something else, but when I was out driving later I had second thoughts. I no longer own The Devil Went Down To Georgia so I can't check, and so I can't be so sure. I might well be confusing it with the manic version by The Stringband.