The sale was a bit of disappointment. the car had some things going for it being an early euro build, but plenty of other odds and ends to work on depending on how one wants to use or present the car. If you’re not doing the work, yourself and rely on shop hours / parts 100k could easily be spent. Or just drive and enjoy. I believe it was sold to a dealer? it will be interesting to see if they do anything to it or what it shows up for sale retail non auction? Hopefully, it will go to a good owner soon and does not end up on the auction circuit, I feel when the cars end up that way it hurts us owners.