I'll say the same thing I said in another thread...
Will $7500 buy you another P85D with the same mileage and condition? If yes, then go buy that P85D for $7500... if not, then pay the $7500 and enjoy your newly fixed P85D for perhaps the next 5-6 years again.
Many will argue the flawed design...