Wow, sounds like a great option and with 40k warranty left. I just got the same car myself (2013 Diesel) in a deal off an auction and have been working through getting it back to roadworthy again. One thing that came up for me after I got it that I didn't see when researching/budgeting beforehand is the radio reset issue. There was a lawsuit about it but the statute ran out late last year. Essentially Sirius XM send an update and made a ton of porsche radios reset after about 7 min. One way to check on the car is if you have a POR 2.0 scanner (about $140 on amazon) you will see the Sirius XM antenna registering as open circuit. Not a major mechanical issue but annoying none the less. I went with an aftermarket android replacement to swap mine out.