Here is the first video he mentions.
Can’t figure out if he bought the whole car or just the supercharger/FI package. At the end of the last video, sounds like he just bought the parts.
Maybe they obscured it or intentionally didn’t show it. Sometimes best not to give out tmi.I was surprised that the log book didn't appear to document the serial number for the car.
Looks like the Steve McQueen 917 go off on the 18th. I friend of mine is at the auction. He told me that another 917 "lemans" movie car that was not owned or driven by McQueen sold a couple of years ago for $14 million.