It seems high to me, but we had a 2014 P85D and it was very reliable and a good performer. I forgot what we sold it for last year around this time, but it was not much more than what they're asking for the car you found (and since it was a P85D, it should have been worth more).