Yep, that's pretty much the story as I understand it. But, believe it or not, I can check. One of the guys I work with drinks with Jimmy Page from time to time. I'll prime him to find out and report back!