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.