There is a red Enzo offered in Europe with Don Johnson claimed to be the original owner. Is this correct that he owned an Enzo?