If the VIN isn't in the registry, there is no way to know, these cars were numbered randomly as they hit port. The badge doesn't correlate to the VIN, since the cars themselves globally weren't limited edition, only the 3009 that were imported to the US.