Taking it as a price point at $3,135,000 all-in (seller netted high 2ms) for a USA F40 with just over 10k miles, that's a significant $720,000 or...