I'm looking at a private party 2015 P85+. 0-60 around 3.1 seconds with Insane mode. Was this a $5k-$10k upgrade like Ludicrous, or did it just come with it in 2015? Reason I ask is there's a huge difference on kbb when you add Ludicrous mode (which he doesn't have), and there's no option to add Insane mode, is that because it automatically came with it? Basically just trying to gauge FMV. Thanks.