Actually, it was a self-import of the previous owner
I am unaware of the procedure, but from what I have heard there is a passport method / self-import by which a 1200k car is imported for a landed cost of 900k. Imagine the profits.
Dealers @ PW are welcome to seriously deny this 