Has anyone ever heard of a 1987 4000CS Turbo quattro? I saw one for sale and was wondering if it's an aftermarket turbo. The blue book doesn't have a 4000 turbo, just a 5000. Just wondering.