I’m fixing to pull the trigger on a 2014 P85D that now is a P90D with 74,000 miles for $60k. At some point the battery was changed to a 90 according to the dash and screen but badging says P85D. The mileage is a bit high but I’m on the fence. What do y’all think?