[SoK]

From what I've read here and the diagnosis from the shop, the water pump "went bad" (I'm guessing the impellers have worn down".

This caused the overheating which led to the coolant overflowing as it wasn't being circulated properly.

So they're doing the waterpump, the thermostat while they're in there, some gaskets, new porsche coolant and labor for a total of $1k.

It's all oem parts from the porsche dealer up in Ohio. It'll be done by the end of the day which is pretty surprising. I just had the car towed there and dropped off at 530 and it'll be completely finished within 24 hours.

What's your thoughts? Seem like a fair bill for what's being done? The waterpump was something like $384 alone.