Not worshiping at the alter of Originality for the right price I would buy it, but not at the $36K -$40K estimate. I spent a total of $8K to buy mine and have it shipped from Cornwall to Detroit, 15 years ago. Not long after I bought mine prices jumped to $26K. So the worth of provenience appears to be $10K to $14K. Provenience like originality is not something I'm interested in. But I'm sure some are interested. It does appears I have had my original question answered. Being owned by "The King of Cool" adds up to 53% to the asking price. Can't see it myself but to each their own.
Steven