I was hoping to find some suggestions here. My 2002 P5 recently developed a coolant leak which proceeded to overheat the car. Turns out the coolant got mixed in with the oil and apparently destroyed the engine. Dealer is saying $8500 to replace engine and radiator, but that seems a bit high...