I'm sure you can get on the waiting list (for a lead time of 3-40 years) or buy it from a reseller for $70k. Problem solved.

> buy it from a reseller for $70k.

Now there's the real price.