I have seen cars with $15k details and the F40 that was done would have been $12k (from memory) according to the web thread getting around at the time....